Sciweavers

1836 search results - page 332 / 368
» Hierarchies for semantic classes
Sort
View
AOSD
2010
ACM
15 years 2 months ago
Composing aspects with aspects
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
Antoine Marot, Roel Wuyts
KR
2010
Springer
15 years 2 months ago
A Correctness Result for Reasoning about One-Dimensional Planning Problems
A plan with rich control structures like branches and loops can usually serve as a general solution that solves multiple planning instances in a domain. However, the correctness o...
Yuxiao Hu, Hector J. Levesque
CVPR
2010
IEEE
15 years 2 months ago
Object Recognition as Ranking Holistic Figure-Ground Hypotheses
We present an approach to visual object-class recognition and segmentation based on a pipeline that combines multiple, holistic figure-ground hypotheses generated in a bottom-up,...
Fuxin Li, JoãCarreira, Cristian Sminchisescu
SARA
2009
Springer
15 years 2 months ago
Rewriting Constraint Models with Metamodels
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
Raphaël Chenouard, Laurent Granvilliers, Rica...
CAV
2001
Springer
83views Hardware» more  CAV 2001»
15 years 2 months ago
Iterating Transducers
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
Dennis Dams, Yassine Lakhnech, Martin Steffen