2102 search results - page 172 / 421 » A Relational Model for Object-Oriented Designs |
116
click to vote
AAAI
1997
15 years 5 months ago
1997
We describe a parsing system based upon a language model for English that is, in turn, based upon assigning probabilities to possible parses for a sentence. This model is used in ...
144
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We discuss the design of the Intermediary Agent's brain, the control module of an embodied conversational virtual peer in a simulation game aimed at providing learning experi...
128
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Most of the challenges related to the development of multi-processor platforms for complex wireless and multimedia applications fall into the Electronic System Level (ESL) domain....
147
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
147
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...