3256 search results - page 434 / 652 » Applications of Formal Methods to System Design and Verifica... |
172
click to vote
ICASSP
2008
IEEE
15 years 12 months ago
2008
IEEE
Pulse compression radar systems make use of transmit code sequences and receive filters that are specially designed to achieve good range resolution and target detection capabili...
252
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
148
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
Transactional memory promises to make parallel programming easier than with fine-grained locking, while performing just as well. This performance claim is not always borne out bec...
AIME
2009
Springer
16 years 3 days ago
2009
Springer
Computer vision is presented and discussed under two complementary views. The positivist view provides a formal background under which vision is approached as a problem-solving tas...
176
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...