2632 search results - page 514 / 527 » Alternating Timed Automata |
SIAMSC
2008
14 years 9 months ago
2008
In this paper we introduce and analyze two augmented mixed finite element methods for a velocity-pressure-stress formulation of the stationary Stokes equations. Our approach, which...
IJCV
2007
14 years 9 months ago
2007
Orthogonal and biorthogonal wavelets became very popular image processing tools but exhibit major drawbacks, namely a poor resolution in orientation and the lack of translation inv...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
During the past decade, a number of different studies have identified several peculiar properties of networks that arise from a diverse universe, ranging from social to computer n...
IJRR
2007
14 years 9 months ago
2007
Recent research concerning the Gaussian canonical form for Simultaneous Localization and Mapping (SLAM) has given rise to a handful of algorithms that attempt to solve the SLAM sc...
IJWIS
2007
14 years 9 months ago
2007
—In response to the increasing number of open source software (OSS) project initiatives and the increasing demand of OSS products as alternative solutions by industries, it is im...