12115 search results - page 2268 / 2423 » Bisimulation of Dynamical Systems |
243
Voted
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
128
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Long-duration tracking of general targets is quite challenging for computer vision, because in practice target may undergo large uncertainties in its visual appearance and the unc...
249
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
With the advent of XML as the de facto language for data publishing and exchange, scalable distribution of XML data to large, dynamic populations of consumers remains an important...
140
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Viola and Jones (VJ) cascade classification methods have proven to be very successful in detecting objects belonging to a single class -- e.g., faces. This paper addresses the mor...
247
Voted
GIS
2005
ACM
16 years 5 months ago
2005
ACM
Nearest neighbor (NN) searches represent an important class of queries in geographic information systems (GIS). Most nearest neighbor algorithms rely on static distance informatio...