4498 search results - page 500 / 900 » How to Invent Functions |
171
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
170
click to vote
RE
1995
Springer
15 years 10 months ago
1995
Springer
Non-Functional requirements (or quality requirements, NFRs) such as confidentiality, performance and timeliness are often crucial to a software system. Our NFRFramework treats NF...
149
Voted
UIST
1995
ACM
15 years 10 months ago
1995
ACM
Project LISTEN stands for “Literacy Innovation that Speech Technology ENables.” We will demonstrate a prototype automated reading coach that displays text on a screen, listens...
155
click to vote
AAAI
2007
15 years 9 months ago
2007
As robots become more involved in assisting us in large and hazardous operations, such as search and rescue, we can anticipate that diverse robots will come together with the need...
188
click to vote
AAAI
2008
15 years 9 months ago
2008
The aim of General Game Playing (GGP) is to create intelligent agents that automatically learn how to play many different games at an expert level without any human intervention. ...