231 search results - page 39 / 47 » A Brief Overview of HOL4 |
VR
2008
IEEE
13 years 8 months ago
2008
IEEE
: The aim of all education is to apply what we learn in different contexts and to recognise and extend this learning to new situations. Virtual learning environments can used to bu...
CSUR
1998
13 years 8 months ago
1998
Search operations in databases require some special support at the physical level. This is true for conventional databases as well as for spatial databases, where typical search o...
DEDS
1998
13 years 8 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
IVS
2002
13 years 8 months ago
2002
Glyphs are graphical entities that convey one or more data values via attributes such as shape, size, color, and position. They have been widely used in the visualization of data ...
TSE
1998
13 years 8 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...