226 search results - page 22 / 46 » Preventing Feature Interactions by Constraints |
123
click to vote
HUC
2003
Springer
15 years 9 months ago
2003
Springer
Ubicomp environments impose tough constraints on networks, including immediate communication, low energy consumption, minimal maintenance and administration. With the AwareCon netw...
137
click to vote
COLING
1990
15 years 5 months ago
1990
We propose an architecture for the organisation of linguistic knowledge which allows to (1) separately formulate generalizations for different types of linguistic information, and...
166
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
This paper presents a novel approach for reconstructing free-form, texture-mapped, 3D scene models from a single painting or photograph. Given a sparse set of user-specified const...
140
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
181
Voted
POPL
1998
ACM
15 years 8 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...