Sciweavers

1507 search results - page 119 / 302
» Summary
Sort
View
ECMAST
1997
Springer
104views Multimedia» more  ECMAST 1997»
15 years 10 months ago
Multimedia Service Provisioning in the Munich Trial of the AMUSE Project
In the framework of the European ACTS programme, the AMUSE project aims to develop, specify, implement and trial advanced multimedia services using an end-to-end ATM infrastructure...
Hartmut Elbert, Jürgen Enssle, Matthias Frank...
CONCUR
1989
Springer
15 years 10 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
DASFAA
2004
IEEE
138views Database» more  DASFAA 2004»
15 years 10 months ago
Counting Relaxed Twig Matches in a Tree
Abstract. We consider the problem of accurately estimating the number of approximate XML answers for a given query, and propose an efficient method that (1) accurately computes sel...
Dongwon Lee, Divesh Srivastava
BIRTHDAY
2008
Springer
15 years 8 months ago
Semiring-Based Soft Constraints
The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper. The idea was to make constraint programming more f...
Stefano Bistarelli, Francesca Rossi
LREC
2010
443views Education» more  LREC 2010»
15 years 7 months ago
Interpreting SentiWordNet for Opinion Classification
We describe a set of tools, resources, and experiments for opinion classification in business-related datasources in two languages. In particular we concentrate on SentiWordNet te...
Horacio Saggion, Adam Funk