Search Results - interfaces exploring programming programming constraint https

Search alternatives:
programming programming » programming programmed , programming program
programming constraint » programming constrained , programming unconstrained , programming constructs
exploring programming » evaluating programming , planning programming
interfaces exploring » interface exploring , interfaces exploiting , interfaces explosion
constraint https » constraint atoms , constraint graphs , constraint codes

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Published 2014

Table of Contents: “... -- Embedding Foreign Code -- Exploring the Use of GPUs in Constraint Solving -- On the Correctness...”
View full text

Electronic eBook

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Published 2006

Table of Contents: “... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”
View full text

Electronic eBook

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Similarity Measures Based on Hybrid Features -- Exploring Wikipedia and Text Features for Named Entity...”
View full text

Electronic eBook

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21,...

Published 2006

Table of Contents: “...Keynotes -- A Value-Based Software Process Framework -- Exploring the Business Process-Software...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
View full text

Electronic eBook

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Published 2012

Table of Contents: “... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”
View full text

Electronic eBook

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Multi-user Multi-touch Setups for Collaborative Learning in an Educational Setting -- Explore...”
View full text

Electronic eBook

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Published 2008

Table of Contents: “... for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study...”
View full text

Electronic eBook

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Published 2008

Table of Contents: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
View full text

Electronic eBook

Context in Computing A Cross-Disciplinary Approach for Modeling the Real World /

Published 2014

Table of Contents: “... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Published 2005

Table of Contents: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
View full text

Electronic eBook

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “... - Exploring Their Usage and Design in Practice -- Concurrent Object-Oriented Development with Behavioral...”
View full text

Electronic eBook

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Published 2005

Table of Contents: “...-models on Test: UML vs. OPM in the SODA Case Study -- Programming an Agent as Abstract State Machine...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... of Lunar GIS with Visualized and Auditory Japan#x2019;s Lunar Explorer #x201C;Kaguya#x201D; Data -- From...”
View full text

Electronic eBook

Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proce...

Published 2007

Table of Contents: “... Multi-Agent Systems -- Exploring Social Networks in Request for Proposal Dynamic Coalition Formation...”
View full text

Electronic eBook

Everyday Innovators Researching the Role of Users in Shaping ICTs /

Published 2005

Table of Contents: “... Scenarios and the Excluded User -- The Politics of User Involvement in Programes of Innovation...”
View full text

Electronic eBook

Information Systems Development Asian Experiences /

Published 2011

Table of Contents: “...-effective Evaluation Approach for Web Portal Interfaces -- IT Knowledge Requirements Identification...”
View full text

Electronic eBook

User Modeling 2005 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings /

Published 2005

Table of Contents: “... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...”
View full text

Electronic eBook

User Modeling 2007 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007, Proceedings /

Published 2007

Table of Contents: “... of Ontology-Based User Model for Web Personalization -- Preference-Based Organization Interfaces: Aiding User...”
View full text

Electronic eBook

Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Memory for Pervasive Games -- IMUI Workshop - Session 1: Context and Constraints -- Coarse In-Building...”
View full text

Electronic eBook

Narrow Search