231 search results - page 28 / 47 » A Brief Overview of PVS |
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
This article presents an overview of selected general delivery options (e.g., videoconferencing, online learning, etc.) and specific software applications for developing and deliv...
PROMISE
2010
13 years 2 months ago
2010
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solution...
SEMWEB
2010
Springer
13 years 2 months ago
2010
Springer
Web search is a key technology of the Web, since it is the primary way to access content on the Web. Current standard Web search is essentially based on a combination of textual ke...
ROMAN
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
CHARME
1999
Springer
13 years 11 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...