2364 search results - page 329 / 473 » On O-Minimal Hybrid Systems |
169
click to vote
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
Managing a combined store consisting of database data and file data in a robust and consistent manner is a challenge for database systems and content management systems. In such a...
174
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
We study the problem of tracking a moving device under two indoor location architectures: an active mobile architecture and a passive mobile architecture. In the former, the infra...
193
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
163
click to vote
ISCAS
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper proposes two new methods for optimizing objectives and constraints. The GP approach is very general and hardware resources in finite wordlength implementation of it allo...
174
click to vote
ESORICS
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Given the requirements of fast processing and the complexity of RF ranging systems, distance bounding protocols have been challenging to implement so far; only few design...