116 search results - page 6 / 24 » Comet: An Application of Model-Based Reasoning to Accounting... |
COMCOM
2000
13 years 7 months ago
2000
Distributed multimedia applications will be an important part of tomorrow's application mix and require appropriate operating system (OS) support. Neither hard real-time solu...
LICS
2000
IEEE
14 years 1 days ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
PPSWR
2005
Springer
14 years 1 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
LREC
2010
13 years 9 months ago
2010
The LTSE-VAD is one of the best known algorithms for voice activity detection. In this paper we present a modified version of this algorithm, that makes the VAD decision not takin...
CODASPY
2012
12 years 3 months ago
2012
Usage control is concerned with how data is used after access to it has been granted. As such, it is particularly relevant to end users who own the data. System implementations of...