3729 search results - page 619 / 746 » On Formal Modeling of Agent Computations |
176
click to vote
IWCMC
2009
ACM
16 years 27 days ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...
183
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
181
click to vote
TRUSTBUS
2007
Springer
16 years 15 days ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
181
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...
160
click to vote
ISPDC
2006
IEEE
16 years 12 days ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...