1
Veröffentlicht 2014
Inhaltsangabe: ... -- Embedding Foreign Code -- Exploring the Use of GPUs in Constraint Solving -- On the Correctness...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2006
Inhaltsangabe: ... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2010
Inhaltsangabe: ... Similarity Measures Based on Hybrid Features -- Exploring Wikipedia and Text Features for Named Entity...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2006
Inhaltsangabe: ...Keynotes -- A Value-Based Software Process Framework -- Exploring the Business Process-Software...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2010
Inhaltsangabe: ...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2012
Inhaltsangabe: ... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ... -- Multi-user Multi-touch Setups for Collaborative Learning in an Educational Setting -- Explore...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2008
Inhaltsangabe: ... for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2005
Inhaltsangabe: ... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2013
Inhaltsangabe: ... - Exploring Their Usage and Design in Practice -- Concurrent Object-Oriented Development with Behavioral...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2014
Inhaltsangabe: ... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ... of Lunar GIS with Visualized and Auditory Japan#x2019;s Lunar Explorer #x201C;Kaguya#x201D; Data -- From...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2011
Inhaltsangabe: ...-effective Evaluation Approach for Web Portal Interfaces -- IT Knowledge Requirements Identification...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2005
Inhaltsangabe: ...-models on Test: UML vs. OPM in the SODA Case Study -- Programming an Agent as Abstract State Machine...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2007
Inhaltsangabe: ... Multi-Agent Systems -- Exploring Social Networks in Request for Proposal Dynamic Coalition Formation...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2005
Inhaltsangabe: ... Scenarios and the Excluded User -- The Politics of User Involvement in Programes of Innovation...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2005
Inhaltsangabe: ... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2014
Inhaltsangabe: ... for Mathematical Theory Exploration -- New Approaches in Black Box Group Theory -- A GAP Package for Computing...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2007
Inhaltsangabe: ... of Ontology-Based User Model for Web Personalization -- Preference-Based Organization Interfaces: Aiding User...
Volltext
Elektronisch E-Book