3724 search results - page 492 / 745 » Timed regular expressions |
164
click to vote
IRI
2006
IEEE
16 years 20 days ago
2006
IEEE
When a Constraint Satisfaction Problem (CSP) admits no solution, most current solvers express that the whole search space has been explored unsuccessfully but do not exhibit which...
191
Voted
SAINT
2006
IEEE
16 years 20 days ago
2006
IEEE
This research has enhanced a distributed, rule-based application integration environment with a composite event definition language (CEDL) and detection system. CEDL builds on exi...
167
click to vote
SYNASC
2006
IEEE
16 years 20 days ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...
180
click to vote
WCRE
2006
IEEE
16 years 20 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
184
click to vote
ISIPTA
2005
IEEE
16 years 7 days ago
2005
IEEE
Pose estimation involves reconstructing the configuration of a moving body from images sequences. In this paper we present a general framework for pose estimation of unknown obje...