4620 search results - page 655 / 924 » Comparing Object Encodings |
176
click to vote
JAIR
2008
15 years 6 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...
153
click to vote
IJOE
2006
15 years 6 months ago
2006
The objective of this paper is to emphasize a clear and natural distinction in strategies of sensor network design. In order to display different architectural paradigms in today&#...
141
click to vote
IJON
2006
15 years 6 months ago
2006
We propose simple and fast methods based on nearest neighbors that order objects from high-dimensional data sets from typical points to untypical points. On the one hand, we show ...
179
click to vote
JUCS
2008
15 years 6 months ago
2008
: Contextual collaboration seamlessly integrates existing groupware technologies into a uniform user experience that combines synchronous and asynchronous interactions. This user e...
173
click to vote
JNW
2006
15 years 6 months ago
2006
Ensuring seamless mobility for users is becoming one of the main objectives of ongoing research activities in the field of data telecommunications. More over, if some proposals are...