848 search results - page 153 / 170 » A New Framework For Itemset Generation |
173
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
160
Voted
CVPR
2009
IEEE
15 years 11 months ago
2009
IEEE
Efficient and accurate fitting of Active Appearance Models (AAM) is a key requirement for many applications. The most efficient fitting algorithm today is Inverse Compositiona...
130
click to vote
IISWC
2008
IEEE
15 years 10 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
133
click to vote
SSDBM
2005
IEEE
15 years 9 months ago
2005
IEEE
Data products generated from remotely-sensed, geospatial imagery (RSI) used in emerging areas, such as global climatology, environmental monitoring, land use, and disaster managem...
133
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...