3724 search results - page 597 / 745 » Timed regular expressions |
STACS
2010
Springer
15 years 5 months ago
2010
Springer
The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs wi...
HRI
2010
ACM
15 years 5 months ago
2010
ACM
Abstract—Cooperative gestures are a key aspect of humanhuman pro-social interaction. Thus, it is reasonable to expect that endowing humanoid robots with the ability to use such g...
POPL
2010
ACM
15 years 5 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
ACHI
2009
IEEE
15 years 5 months ago
2009
IEEE
Nervixxx introduces neural computing to overcome the limit of conventional performance systems1 that uses tangible computing and physical computing. Specifically, we utilized the ...
DASFAA
2009
IEEE
15 years 5 months ago
2009
IEEE
In Deep Web data integration, some Web database interfaces express exclusive predicates of the form Qe = Pi(Pi ∈ P1, P2, . . . , Pm), which permits only one predicate to be selec...