2586 search results - page 403 / 518 » Automatic Abstraction for Congruences |
182
click to vote
ACCV
2010
Springer
15 years 8 months ago
2010
Springer
Automatic processing of video data is essential in order to allow efficient access to large amounts of video content, a crucial point in such applications as video mining and surve...
179
click to vote
ANNPR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automatic pattern classifiers that allow for on-line incremental learning can adapt internal class models efficiently in response to new information without retraining fr...
172
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Identifying the structure of unknown molecules is an important activity in the pharmaceutical industry where it underpins the production of new drugs and the analysis of ...
190
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- While mobile users want to obtain software anywhere and anytime without the knowledge of software availability in advance, software providers want to deploy their softwa...
190
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...