2586 search results - page 406 / 518 » Automatic Abstraction for Congruences |
CP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
113
click to vote
DCOSS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Wireless sensor networks are increasingly being used in environmental monitoring applications. Collecting raw data from these networks can lead to excessive energy consum...
100
click to vote
DIMEA
2008
15 years 1 months ago
2008
We combine a machine vision system that recognises emotions and a non-photorealistic rendering (NPR) system to automatically produce portraits which heighten the emotion of the si...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Measuring relational similarity between words is important in numerous natural language processing tasks such as solving analogy questions and classifying noun-modifier r...
103
click to vote
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...