4890 search results - page 535 / 978 » From system specifications to component behavioral models |
218
click to vote
APWEB
2005
Springer
16 years 25 days ago
2005
Springer
Web users use search engine to find useful information on the Internet. However current web search engines return answer to a query independent of specific user information need. S...
186
click to vote
NIPS
2001
15 years 8 months ago
2001
Massive transaction data sets are recorded in a routine manner in telecommunications, retail commerce, and Web site management. In this paper we address the problem of inferring p...
287
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
160
click to vote
MEMOCODE
2005
IEEE
16 years 26 days ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
197
Voted
NLE
2007
15 years 6 months ago
2007
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on mobile computing devices or by disabled users), by ta...