Sciweavers

3819 search results - page 628 / 764
» Simple Easy Terms
Sort
View
ENTCS
2006
180views more  ENTCS 2006»
13 years 10 months ago
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
Fernando Rosa Velardo, Olga Marroquín Alons...
BMCBI
2005
152views more  BMCBI 2005»
13 years 10 months ago
Ranking the whole MEDLINE database according to a large training set using text indexing
Background: The MEDLINE database contains over 12 million references to scientific literature, ut 3/4 of recent articles including an abstract of the publication. Retrieval of ent...
Brian P. Suomela, Miguel A. Andrade
CORR
2004
Springer
151views Education» more  CORR 2004»
13 years 10 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
NDJFL
1998
100views more  NDJFL 1998»
13 years 10 months ago
Failure of Interpolation in Combined Modal Logics
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
Maarten Marx, Carlos Areces
IAJIT
2010
119views more  IAJIT 2010»
13 years 8 months ago
Improving the Effectiveness of the Color Coherence Vector
: This paper was motivated by the desire to improve the effectiveness of retrieving images on the basis of their color content by improving the Color Coherence Vector method. There...
Alaa Al-Hamami, Hisham Al-Rashdan