2192 search results - page 159 / 439 » Embedded function composition |
135
Voted
ICDAR
2011
IEEE
14 years 13 days ago
2011
IEEE
—We present a method for spotting a subgraph in a graph repository. Subgraph spotting is a very interesting research problem for various application domains where the use of a re...
122
Voted
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
We present a new scheme to robustly detect a type of human attentive behavior, which we call frequent change in focus of attention (FCFA), from video sequences. FCFA behavior can b...
149
click to vote
MIDDLEWARE
2010
Springer
14 years 11 months ago
2010
Springer
Enterprise distributed real-time and embedded (DRE) publish/subscribe (pub/sub) systems manage resources and data that are vital to users. Cloud computing—where computing resourc...
117
Voted
PEPM
1998
ACM
15 years 5 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
125
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...