2364 search results - page 63 / 473 » On O-Minimal Hybrid Systems |
158
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
In-place and merge-based index maintenance are the two main competing strategies for on-line index construction in dynamic information retrieval systems based on inverted lists. Mo...
262
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— An effective method is presented for position tracking of a moving mobile terminal (MT). The method is based on time/distance difference of arrival (TDOA) estimation an...
189
click to vote
CAV
2004
Springer
16 years 5 days ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
184
click to vote
DLOG
1997
15 years 8 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
211
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...