172 search results - page 31 / 35 » How to Specialize by Theory Refinement |
97
Voted
ITICSE
2004
ACM
15 years 3 months ago
2004
ACM
With our interest to improve our education in computer science, an understanding of how students learn about CS concepts, how different concepts are understood, as well as the con...
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
We discuss information retrieval methods that aim at serving a diverse stream of user queries such as those submitted to commercial search engines. We propose methods that emphasi...
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Distributed constraint optimization (DCOP) provides a framework for coordinated decision making by a team of agents. Often, during the decision making, capacity constraints on age...