130 search results - page 16 / 26 » Algorithmic Algebraic Model Checking I: Challenges from Syst... |
179
click to vote
ICDAR
2011
IEEE
13 years 9 months ago
2011
IEEE
—Reading text from photographs is a challenging problem that has received a signicant amount of attention. Two key components of most systems are (i) text detection from images a...
ICB
2007
Springer
15 years 3 months ago
2007
Springer
Face recognition in video has gained wide attention due to its role in designing surveillance systems. One of the main advantages of video over still frames is that evidence accumu...
96
Voted
SCA
2007
15 years 1 days ago
2007
We describe a method for animating incompressible liquids with detailed free surfaces. For each time step, semiLagrangian contouring computes a new fluid boundary (represented as ...
FUIN
2008
14 years 9 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
81
Voted
WSC
2007
14 years 12 months ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...