1029 search results - page 174 / 206 » Learning to Make Rent-to-Buy Decisions with Systems Applicat... |
ASE
2005
13 years 8 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
RTSS
2007
IEEE
14 years 3 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
WISE
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Visualization is able to present the rich Web information intuitively and make the Web search/mining more productive. Mobile computing is able to provide the flexibility...
CSL
1998
Springer
13 years 8 months ago
1998
Springer
This paper presents PARADISE PARAdigm for DIalogue System Evaluation , a general framework for evaluating and comparing the performance of spoken dialogue agents. The framework d...
SIMVIS
2007
13 years 10 months ago
2007
This paper reports on the development of a novel mixed reality I/O device tailored to the requirements of interaction with geo-spatial data in the immediate environment of the use...