845 search results - page 70 / 169 » Parallel Exact Inference |
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...
DCOSS
2008
Springer
13 years 12 months ago
2008
Springer
Wireless sensor nodes can act as distributed detectors for recognizing activities online, with the final goal of assisting the users in their working environment. We propose an act...
MIDDLEWARE
2010
Springer
13 years 8 months ago
2010
Springer
Recent Internet applications, such as online social networks and user-generated content sharing, produce an unprecedented amount of social information, which is further augmented b...
PACT
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
EDOC
2008
IEEE
14 years 4 months ago
2008
IEEE
The Zachman Framework offers a classification of the models created in an enterprise architecture project. These models form a holistic representation of the organization. Despite...