3946 search results - page 484 / 790 » The computational complexity of choice sets |
235
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...
175
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of feat...
180
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
179
click to vote
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
An online feature evaluation method for visual
object tracking is put forward in this paper. Firstly, a
combined feature set is built using color histogram (HC)
bins and gradien...
167
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Computer vision systems for human-computer interaction have tended towards more precise forms of interface that require complex vision tasks such as segmentation, tracking, object...