3729 search results - page 678 / 746 » On Formal Modeling of Agent Computations |
181
Voted
ICDCS
1995
IEEE
15 years 9 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
173
Voted
JOCN
2010
15 years 4 months ago
2010
■ Research in psycholinguistics and in the cognitive neuroscience of language has suggested that semantic and syntactic integration are associated with different neurophysiologi...
155
click to vote
ICRA
2009
IEEE
16 years 23 days ago
2009
IEEE
— We consider the problem of tracking multiple agents moving amongst obstacles, using multiple cameras. Given an environment with obstacles, and many people moving through it, we...
175
click to vote
IEEESCC
2006
IEEE
16 years 4 days ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
152
Voted
MICRO
2006
IEEE
16 years 3 days ago
2006
IEEE
Secure processor architecture enables tamper-proof protection on software that addresses many difficult security problems such as reverse-engineering prevention, trusted computing...