4513 search results - page 528 / 903 » Logic programming with satisfiability |
137
click to vote
PERVASIVE
2007
Springer
15 years 11 months ago
2007
Springer
With the advance of pervasive technology, information from both the physical and virtual world is increasingly accessible to developers. Context -aware applications may consume re...
148
click to vote
TRUSTBUS
2007
Springer
15 years 11 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
122
click to vote
WILF
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a computer implementation that utilizes cross-reference ambiguity in utterances for simple conversational jokes. The approach is based on the SSTH. Using a simp...
141
click to vote
ICTAI
2006
IEEE
15 years 10 months ago
2006
IEEE
Precedence constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the...
119
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...