886 search results - page 143 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
102
click to vote
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Many high-performance tools, applications and infrastructures, such as Paradyn, STAT, TAU, Ganglia, SuperMon, Astrolabe, Borealis, and MRNet, use data aggregation to synthesize lar...
SIGMOD
2001
ACM
16 years 1 months ago
2001
ACM
In this paper we present a method for automatically segmenting unformatted text records into structured elements. Several useful data sources today are human-generated as continuo...
146
click to vote
AMDO
2010
Springer
14 years 11 months ago
2010
Springer
Particle Filter methods are one of the dominant tracking paradigms due to its ability to handle non-gaussian processes, multimodality and temporal consistency. Traditionally, the e...
118
click to vote
CVPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Active Appearance Models (AAMs) have been popularly used to represent the appearance and shape variations of human faces. Fitting an AAM to images recovers the face pose as well a...
120
click to vote
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
One promising approach to remove motion deblurring is to recover one clear image using an image pair. Existing dual-image methods require an accurate image alignment between the i...