231 search results - page 38 / 47 » A Brief Overview of PVS |
SIGKDD
2008
13 years 7 months ago
2008
This paper outlines a retail sales prediction and product recommendation system that was implemented for a chain of retail stores. The relative importance of consumer demographic ...
ALIFE
2005
13 years 7 months ago
2005
Hierarchical modularity is a familiar characteristic of a large class of natural dynamical systems. A normal interpretation of modularity is that interactions between subsystems a...
VR
2008
IEEE
13 years 7 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 7 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 7 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...