3656 search results - page 209 / 732 » Compact Location Problems |
212
click to vote
DKE
2008
15 years 6 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
172
Voted
ENTCS
2007
15 years 6 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
182
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Forecasting exchange rates is an important financial problem that is receiving increasing attention especially because of its difficulty and practical applications. This paper prop...
167
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract Image retrieval has nowadays several industrial applications. In these imaging applications, which typically use large image archives, the matter of computational efficien...
142
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
We present an efficient algorithm for solving the ray-shooting problem on high dimensional sets. Our algorithm computes the intersection of the boundary of a compact convex set w...