Zoekresultaten - interface exploring programming programmed constraint https

Alternatieven:
programming programmed » processing programmed
exploring programming » evaluating programming , planning programming
programmed constraint » programming constraint , programming constraints , programme contract
interface exploring » interfaces exploiting , interface deploying , interface tailoring
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 /

Gepubliceerd in 2014

Inhoudsopgave: “... -- Embedding Foreign Code -- Exploring the Use of GPUs in Constraint Solving -- On the Correctness...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2006

Inhoudsopgave: “... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... Similarity Measures Based on Hybrid Features -- Exploring Wikipedia and Text Features for Named Entity...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2006

Inhoudsopgave: “...Keynotes -- A Value-Based Software Process Framework -- Exploring the Business Process-Software...”
Volledige tekst

Elektronisch E-boek

Innovations in Computing Sciences and Software Engineering

Gepubliceerd in 2010

Inhoudsopgave: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2012

Inhoudsopgave: “... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... -- Multi-user Multi-touch Setups for Collaborative Learning in an Educational Setting -- Explore...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

Inhoudsopgave: “... for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2013

Inhoudsopgave: “... - Exploring Their Usage and Design in Practice -- Concurrent Object-Oriented Development with Behavioral...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2014

Inhoudsopgave: “... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

Inhoudsopgave: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
Volledige tekst

Elektronisch E-boek

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...

Gepubliceerd in 2005

Inhoudsopgave: “...-models on Test: UML vs. OPM in the SODA Case Study -- Programming an Agent as Abstract State Machine...”
Volledige tekst

Elektronisch E-boek

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...

Gepubliceerd in 2007

Inhoudsopgave: “... Multi-Agent Systems -- Exploring Social Networks in Request for Proposal Dynamic Coalition Formation...”
Volledige tekst

Elektronisch E-boek

Advanced Techniques in Computing Sciences and Software Engineering

Gepubliceerd in 2010

Inhoudsopgave: “... of Lunar GIS with Visualized and Auditory Japan#x2019;s Lunar Explorer #x201C;Kaguya#x201D; Data -- From...”
Volledige tekst

Elektronisch E-boek

Everyday Innovators Researching the Role of Users in Shaping ICTs /

Gepubliceerd in 2005

Inhoudsopgave: “... Scenarios and the Excluded User -- The Politics of User Involvement in Programes of Innovation...”
Volledige tekst

Elektronisch E-boek

Information Systems Development Asian Experiences /

Gepubliceerd in 2011

Inhoudsopgave: “...-effective Evaluation Approach for Web Portal Interfaces -- IT Knowledge Requirements Identification...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2007

Inhoudsopgave: “... of Ontology-Based User Model for Web Personalization -- Preference-Based Organization Interfaces: Aiding User...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... Memory for Pervasive Games -- IMUI Workshop - Session 1: Context and Constraints -- Coarse In-Building...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken