Sciweavers

851 search results - page 60 / 171
» Automatic Record Reviews
Sort
View
APSEC
2005
IEEE
14 years 3 months ago
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
Christian Seybold, Silvio Meier
CP
2003
Springer
14 years 2 months ago
Approximated Consistency for Knapsack Constraints
Knapsack constraints are a key modeling structure in discrete optimization and form the core of many real-life problem formulations. Only recently, a cost-based filtering algorit...
Meinolf Sellmann
AAAI
2004
13 years 10 months ago
The Practice of Approximated Consistency for Knapsack Constraints
Knapsack constraints are a key modeling structure in discrete optimization and form the core of many real-life problem formulations. Only recently, a cost-based filtering algorith...
Meinolf Sellmann
ICMCS
2010
IEEE
271views Multimedia» more  ICMCS 2010»
13 years 10 months ago
An intelligent high-frame-rate video logging system with real-time image processing at 1000 fps
This paper introduces an intelligent high-frame-rate video logging system that can automatically detect high-speed unpredictable behavior and record video comprising images with d...
Idaku Ishii, Yaodong Wang, Takeshi Takaki
BMCBI
2008
139views more  BMCBI 2008»
13 years 9 months ago
Abbreviation definition identification based on automatic precision estimates
Background: The rapid growth of biomedical literature presents challenges for automatic text processing, and one of the challenges is abbreviation identification. The presence of ...
Sunghwan Sohn, Donald C. Comeau, Won Kim, W. John ...