1
Udgivet 2005
Indholdsfortegnelse: ... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...
Få fuldtekst
Electronisk eBog
2
Udgivet 2015
Indholdsfortegnelse: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Få fuldtekst
Electronisk eBog
3
Udgivet 2015
Indholdsfortegnelse: ...Reframing on Relational Data -- Inductive Learning using Constraint-driven Bias -- Nonmonotonic...
Få fuldtekst
Electronisk eBog
4
Udgivet 2014
Indholdsfortegnelse: ... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...
Få fuldtekst
Electronisk eBog
5
Udgivet 2014
Indholdsfortegnelse: ...Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... Numerical Attributes in Databases Under Integrity Constraints -- Consistent Query Answers on Numerical...
Få fuldtekst
Electronisk eBog
7
Udgivet 2007
Indholdsfortegnelse: ... for the Tree Homeomorphism Problem -- Datalog Programs over Infinite Databases, Revisited -- XML Query...
Få fuldtekst
Electronisk eBog
8
Udgivet 2012
Indholdsfortegnelse: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
Få fuldtekst
Electronisk eBog
9
Udgivet 2010
Indholdsfortegnelse: ... Dependencies -- Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a...
Få fuldtekst
Electronisk eBog
10
Udgivet 2005
Indholdsfortegnelse: ... Multiple Hypothesis Testing in Sensor Networks Under Bandwidth Constraint -- A Scalable Multi-level...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ...The Role of Programming Languages in Future Data-Centric and Net-Centric Applications -- The Role...
Få fuldtekst
Electronisk eBog
12
Udgivet 2014
Indholdsfortegnelse: ... -- Models in the Design of Context-Aware Well-Being Applications -- Providing Proof of Trustworthiness...
Få fuldtekst
Electronisk eBog
13
Udgivet 2005
Indholdsfortegnelse: ... Scheme for Real-Time Delivery in Deadline-Based Networks -- Game-Theoretic Analysis of Internet Switching...
Få fuldtekst
Electronisk eBog
14
Udgivet 2005
Indholdsfortegnelse: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Få fuldtekst
Electronisk eBog
15
Udgivet 2006
Indholdsfortegnelse: ...Innovation Processes Revisited by Internet -- Lightweight Causal Cluster Consistency -- Distributed...
Få fuldtekst
Electronisk eBog
16
Udgivet 2010
Indholdsfortegnelse: ... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ... and Time -- An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... Structure Theory -- Exploiting Ontological Structure for Complex Preference Assembly -- Constraints -- A...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...
Få fuldtekst
Electronisk eBog
20
Udgivet 2006
Indholdsfortegnelse: ... -- Intelligent Tuning and Application of a PID Controller Using Universal Model -- Design -- Dynamic...
Få fuldtekst
Electronisk eBog