12115 search results - page 271 / 2423 » Bisimulation of Dynamical Systems |
182
Voted
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
171
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
This work extends and improves a recently introduced (Dec. 2007) dynamic Bayesian network (DBN) based audio-visual automatic speech recognition (AVASR) system. That system models ...
176
click to vote
CODES
2005
IEEE
16 years 7 days ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
153
click to vote
SRDS
2000
IEEE
15 years 11 months ago
2000
IEEE
Validation of distributed systems using fault injection is difficult because of their inherent complexity, lack of a global clock, and lack of an easily accessible notion of a gl...
181
click to vote
TREC
1998
15 years 8 months ago
1998
In this report we describe our model of dynamic hypertext and how the ClickIR system uses this model to assist users in interactive search. The system was used in both the ad hoc ...