6456 search results - page 1125 / 1292 » Constraint Solving on Terms |
164
click to vote
JAIR
2007
15 years 6 months ago
2007
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...
186
click to vote
CJ
2004
15 years 6 months ago
2004
Building footprint simplification is of critical importance to radio propagation predictions in wireless communication systems as the prediction time is closely related to the num...
170
click to vote
BC
1998
15 years 6 months ago
1998
A simple analytical model is proposed here that captures to a large extent the kinematic structure of rat exploratory behavior. Previous studies have shown that such behavior consi...
185
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Local search is a specialization of the web search that allows users to submit geographically constrained queries. However, one of the challenges for local search engines is to un...
178
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...