1407 search results - page 194 / 282 » Cognition without content |
LPNMR
1993
Springer
14 years 2 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...
REX
1993
14 years 2 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...
CEC
2007
IEEE
14 years 2 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 ...
DEBS
2007
ACM
14 years 2 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...
PERCOM
2010
ACM
14 years 1 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...