2989 search results - page 473 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
CP
2007
Springer
15 years 4 months ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
CSREASAM
2006
14 years 11 months ago
2006
- Thanks to the spread of mobile technologies, we can access to the network anytime and from anywhere. In the near future, we will enable to realize the ubiquitous computing enviro...
MICAI
2009
Springer
15 years 4 months ago
2009
Springer
Reinforcement Learning is a commonly used technique in robotics, however, traditional algorithms are unable to handle large amounts of data coming from the robot’s sensors, requi...
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
POPL
2011
ACM
14 years 23 days ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...