2409 search results - page 153 / 482 » On Extended Regular Expressions |
133
click to vote
BILDMED
2009
15 years 5 months ago
2009
The Camera Augmented Mobile C-arm (CamC) system that extends a regular mobile C-arm by a video camera provides an X-ray and video image overlay. Thanks to the mirror construction a...
169
click to vote
CASC
2009
Springer
15 years 5 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
119
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a fami...
125
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the searc...
178
click to vote
HEURISTICS
2006
15 years 4 months ago
2006
In case a CSP is over-constrained, it is natural to allow some constraints, called soft constraints, to be violated. We propose a generic method to soften global constraints that c...