1669 search results - page 215 / 334 » Structured Specification of Model Interpreters |
128
Voted
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
118
Voted
NIPS
2003
15 years 5 months ago
2003
Consider a number of moving points, where each point is attached to a joint of the human body and projected onto an image plane. Johannson showed that humans can effortlessly det...
144
Voted
ISCI
2007
15 years 3 months ago
2007
Digital video recorder (DVR) systems are novel security products with significant potential for application in the surveillance market, which, like many other areas of security t...
122
Voted
JAIHC
2010
15 years 2 months ago
2010
Although the field of persuasive technologies has lately attracted a lot of attention, only recently the notion of ambient persuasive technologies was introduced. Ambient persuasi...
124
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...