3281 search results - page 394 / 657 » An Approach to use Executable Models for Testing |
135
Voted
ENTCS
2008
15 years 5 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
136
click to vote
IOT
2010
15 years 2 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
176
click to vote
ECOWS
2007
Springer
15 years 8 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
138
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper we address two closely related problems. The first is the object detection problem, i.e., the automatic decision of whether a given image represents a known object o...
190
click to vote
CVPR
2009
IEEE
17 years 15 hour ago
2009
IEEE
We propose a novel probabilistic framework for learning
visual models of 3D object categories by combining appearance
information and geometric constraints. Objects are
represen...