1407 search results - page 194 / 282 » Cognition without content |
144
Voted
LPNMR
1993
Springer
15 years 7 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
127
click to vote
REX
1993
15 years 7 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
108
Voted
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
In optimization problems involving large amounts of data, such as web content, commercial transaction information, or bioinformatics data, individual function evaluations may take ...
91
Voted
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...
127
Voted
PERCOM
2010
ACM
15 years 7 months ago
2010
ACM
—Mobile phones are becoming commonplace for consuming Internet content and services. However, availability, affordability, and quality of the supposedly ubiquitous cellular netwo...