1463 search results - page 181 / 293 » The State of the Art in Language Modeling |
125
Voted
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
141
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
145
click to vote
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
123
Voted
DSRT
2009
IEEE
15 years 5 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
106
Voted
AAAI
2000
15 years 3 months ago
2000
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...