Sciweavers

1051 search results - page 181 / 211
» Foundations of Constraint Satisfaction
Sort
View
IFIP12
2009
13 years 7 months ago
Defining a Task's Temporal Domain for Intelligent Calendar Applications
Abstract Intelligent calendar assistants have many years ago attracted researchers from the areas of scheduling, machine learning and human computer interaction. However, all effor...
Anastasios Alexiadis, Ioannis Refanidis
CORR
2011
Springer
187views Education» more  CORR 2011»
13 years 1 months ago
Backdoors to Tractable Answer-Set Programming
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
Johannes Klaus Fichte, Stefan Szeider
ECCV
2004
Springer
14 years 11 months ago
High Accuracy Optical Flow Estimation Based on a Theory for Warping
Abstract. We study an energy functional for computing optical flow that combines three assumptions: a brightness constancy assumption, a gradient constancy assumption, and a discon...
Thomas Brox, Andrés Bruhn, Nils Papenberg, ...
ICML
2008
IEEE
14 years 10 months ago
Dirichlet component analysis: feature extraction for compositional data
We consider feature extraction (dimensionality reduction) for compositional data, where the data vectors are constrained to be positive and constant-sum. In real-world problems, t...
Hua-Yan Wang, Qiang Yang, Hong Qin, Hongbin Zha
MOMPES
2009
IEEE
14 years 4 months ago
ArcheOpterix: An extendable tool for architecture optimization of AADL models
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements ha...
Aldeida Aleti, Stefan Björnander, Lars Grunsk...