89 search results - page 11 / 18 » Effective Set Membership in Computer Algebra and Beyond |
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
91
Voted
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. We propose a novel and efficient method for generic arbitraryview object class detection and localization. In contrast to existing singleview and multi-view methods using...
75
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—The recently developed small wireless devices ranging from sensor boards to mobile phones provide a timely opportunity to gather unique data sets on complex human interactions, ...
COLING
2010
14 years 4 months ago
2010
Ambiguity of entity mentions and concept references is a challenge to mining text beyond surface-level keywords. We describe an effective method of disambiguating surface forms an...
GI
2004
Springer
15 years 2 months ago
2004
Springer
: Humans have complex sensory and control capabilities. Only a few are used in standard games and virtual environments. Examples of games using interfaces beyond mouse, keyboard an...