13383 search results - page 340 / 2677 » Abstractions from proofs |
164
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
177
click to vote
IVIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we deal with the problem of detecting emotions from the body movements produced by naturally connected action sequences. Although action sequences are one o...
189
click to vote
ACCV
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We are aiming at extending the basic digital camera functionalities to the ability to simulate the flattening of a document, by virtually acting like a flatbed scanner....
159
click to vote
AUSAI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Although Computed Tomography (CT) is a mature discipline, the development of techniques that will further reduce radiation dose are still essential. This paper makes step...
174
click to vote
BPM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Service Oriented Architecture (SOA) forms an ideal infrastructure for Business Process Management as applications are invoked using standard interfaces and protocols. Aut...