3820 search results - page 469 / 764 » Bounded Model Debugging |
200
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
IEEE 802.11 Medium Access Control(MAC) is proposed to support asynchronous and time bounded delivery of radio data packets in infrastructure and ad hoc networks. The basis of the I...
137
Voted
COSIT
1999
Springer
15 years 8 months ago
1999
Springer
Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predic...
182
Voted
RT
1999
Springer
15 years 8 months ago
1999
Springer
The dramatically increasing size of polygonal models resulting from 3D scanning devices and advanced modeling techniques requires new approaches to reduce the load of geometry tran...
117
Voted
ADBIS
1998
Springer
15 years 8 months ago
1998
Springer
Object-oriented database management systems are often motivated by their support for new emerging application areas such as computer-aided design and analysis systems. The object-o...
139
click to vote
ISTCS
1993
Springer
15 years 7 months ago
1993
Springer
We pursue a particular approach to analog computation, based on dynamical systems of the type used in neural networks research. Our systems have a xed structure, invariant in time...