2474 search results - page 140 / 495 » Kitchen of the Future and Applications |
182
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
172
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
ct This paper presents an approach to exploit free text descriptions of TV programmes as available from EPG data sets for a recommendation system that takes the content of programm...
211
click to vote
ESSIR
2000
15 years 10 months ago
2000
This workshop attempted to present the state-of-the-art in multilingual information access (MLIA) research and development, including cross-language information retrieval and ques...
157
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Trends in VLSI technology scaling demand that future computing devices be narrowly focused to achieve high performance and high efficiency, yet also target the high volumes and lo...
165
click to vote
FLAIRS
2008
15 years 9 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...