2060 search results - page 363 / 412 » The Composition of Event-B Models |
159
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
147
Voted
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
Web Services (WSs) are a new breed of web application that have brought out quite challenging research issues. One of these is the establishment of an interoperable semantic frame...
127
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes issues and consideration on authoring of interactive multi-view visual content based on MPEG-4. The issues include types of multi-view visual content; functio...
147
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— We present a probabilistic framework for visual correspondence, inertial measurements and Egomotion. First, we describe a simple method based on Gabor filters to produce corre...
144
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Genetic Algorithms are very powerful search methods that are used in different optimization problems. Parallel versions of genetic algorithms are easily implemented and usually in...