2139 search results - page 326 / 428 » Connecting language to the world |
161
click to vote
CP
2004
Springer
16 years 12 days ago
2004
Springer
Cardinality matrix problems are the underlying structure of several real world problems such as rostering, sports scheduling , and timetabling. These are hard computational problem...
161
click to vote
IFIP
2004
Springer
16 years 11 days ago
2004
Springer
Most of all software systems have to be changed after their initial deployment. This is not only because of changing knowledge and expectations about our domains and systems, but a...
182
click to vote
KI
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
197
Voted
SIGSOFT
2003
ACM
16 years 7 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
221
click to vote
CP
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. Many real world problems, e.g. personnel scheduling and transportation planning, can be modeled naturally as Constrained Shortest Path Problems (CSPPs), i.e., as Shortest...