7623 search results - page 868 / 1525 » Constructive Volume Modeling |
192
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...
158
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
The paper investigates the synchronization of a network of identical linear state-space models under a possibly time-varying and directed interconnection structure. The main resul...
195
click to vote
EUC
2008
Springer
15 years 9 months ago
2008
Springer
With the rapid proliferation of client-to-client applications, PAKE (password authenticated key exchange) protocols in the client-to-client setting become increasingly important. ...
175
click to vote
CCCG
2008
15 years 8 months ago
2008
We define a class of algorithms for constructing coresets of (geometric) data sets, and show that algorithms in this class can be dynamized efficiently in the insertiononly (data ...
178
click to vote
CIMAGING
2008
15 years 8 months ago
2008
We compute AM-FM models for infrared video frames depicting military targets immersed in structured clutter backgrounds. We show that independent correlation based detection proce...