4985 search results - page 537 / 997 » Observation of String-Rewriting Systems |
208
click to vote
SEW
2006
IEEE
16 years 26 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
188
click to vote
WMTE
2006
IEEE
16 years 26 days ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
189
click to vote
ACCV
2006
Springer
16 years 25 days ago
2006
Springer
Abstract. In this paper we give a new model for foreground-background-shadow separation. Our method extracts the faithful silhouettes of foreground objects even if they have partly...
150
click to vote
ADMA
2006
Springer
16 years 25 days ago
2006
Springer
We hypothesize that the variance in volume of high-velocity queries over time can be explained by observing that these queries are formulated in response to events in the world tha...
148
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...