Sciweavers

3181 search results - page 383 / 637
» Set-based model: a new approach for information retrieval
Sort
View
MM
2004
ACM
124views Multimedia» more  MM 2004»
16 years 2 days ago
An online-optimized incremental learning framework for video semantic classification
This paper considers the problems of feature variation and concept uncertainty in typical learning-based video semantic classification schemes. We proposed a new online semantic c...
Jun Wu, Xian-Sheng Hua, HongJiang Zhang, Bo Zhang
TAP
2007
Springer
92views Hardware» more  TAP 2007»
16 years 22 days ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
BPSC
2010
285views Business» more  BPSC 2010»
15 years 3 months ago
Crossing the Chasm Between the Real World and Business Process Management
Abstract: While agility is a core challenge in today's competitive business, softwarebased business process modeling and execution approaches often refer to strict and inflexi...
Markus Schief, Benedikt Schmidt
KDD
2009
ACM
193views Data Mining» more  KDD 2009»
16 years 1 months ago
Category detection using hierarchical mean shift
Many applications in surveillance, monitoring, scientific discovery, and data cleaning require the identification of anomalies. Although many methods have been developed to iden...
Pavan Vatturi, Weng-Keen Wong
AI
2008
Springer
15 years 6 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar