1982 search results - page 204 / 397 » New Products |
159
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
149
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
We introduce the new Wave model for exposing the temporal relationship among the queries in data-intensive distributed computing. The model defines the notion of query series to c...
201
click to vote
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we propose a new method for image classification, in which matrix based kernel features are designed to capture the multiple similarities between images in...
175
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Audio-Visual Speech Recognition (AVSR) uses vision to enhance speech recognition but also introduces the problem of how to join (or fuse) these two signals together. Mainstream re...
168
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
: Service processes are a special type of business processes playing an increasingly important role in modern economies. They require new forms of flexibility not found in ordinary...