6355 search results - page 1097 / 1271 » From Logic to Games |
160
click to vote
MDM
2004
Springer
15 years 12 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
169
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
210
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
159
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
153
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...