Sciweavers

4163 search results - page 323 / 833
» A comprehensive combination framework
Sort
View
CPAIOR
2004
Springer
16 years 2 days ago
SIMPL: A System for Integrating Optimization Techniques
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
Ionut D. Aron, John N. Hooker, Tallys H. Yunes
DEON
2004
Springer
16 years 2 days ago
On Obligations and Abilities
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
Wojciech Jamroga, Wiebe van der Hoek, Michael Wool...
ICIP
2007
IEEE
15 years 10 months ago
Computer-Aided Grading of Neuroblastic Differentiation: Multi-Resolution and Multi-Classifier Approach
In this paper, the development of a computer-aided system for the classification of grade of neuroblastic differentiation is presented. This automated process is carried out withi...
Jun Kong, Olcay Sertel, Hiroyuki Shimada, Kim L. B...
ETS
2007
IEEE
128views Hardware» more  ETS 2007»
15 years 8 months ago
Selecting Power-Optimal SBST Routines for On-Line Processor Testing
Software-Based Self-Test (SBST) has emerged as an effective strategy for on-line testing of processors integrated in non-safety critical embedded system applications. Among the mo...
Andreas Merentitis, Nektarios Kranitis, Antonis M....
ICCV
2007
IEEE
15 years 8 months ago
Probabilistic Fusion Tracking Using Mixture Kernel-Based Bayesian Filtering
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
Bohyung Han, Seong-Wook Joo, Larry S. Davis