4401 search results - page 354 / 881 » Computing with Default Logic |
210
Voted
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
206
click to vote
FCSC
2010
15 years 4 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
168
click to vote
FSS
2006
15 years 6 months ago
2006
Among the various extensions to the common [0, 1]-valued truth degrees of "traditional" fuzzy set theory, closed intervals of [0, 1] stand out as a particularly appealin...
162
click to vote
MOBISYS
2003
ACM
16 years 6 months ago
2003
ACM
Wireless transmission of a bit can require over 1000 times more energy than a single 32-bit computation. It would therefore seem desirable to perform significant computation to re...
184
click to vote
SPIN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...