231 search results - page 46 / 47 » A Brief Overview of PVS |
JLBS
2007
13 years 7 months ago
2007
: The topics presented in this paper regard the project “Data Optimisation for integrated Telematics” (Do-iT) granted by the German ministry of economics and technology. Within...
ETS
2000
IEEE
13 years 7 months ago
2000
IEEE
During Spring 1998, we embarked on pedagogical journey into unknown terrains -- the terrains of collaborative teaching and World Wide Web instruction. In this paper we present a j...
DEBU
1999
13 years 7 months ago
1999
This paper presents a brief overview of data management using the Extensible Markup Language (XML). It presents the basics of XML and the DTDs used to constrain XML data, and desc...
PRL
2010
13 years 6 months ago
2010
: Organizing data into sensible groupings is one of the most fundamental modes of understanding and learning. As an example, a common scheme of scientific classification puts organ...
JCIT
2010
13 years 2 months ago
2010
This review paper presents an overview of the current state of the art in Problem Solving Environments (PSE). PSE provides integrated human-friendly innovative computational servi...