Sciweavers

7820 search results - page 196 / 1564
» Formalization of Time and Space
Sort
View
JWSR
2011
149views more  JWSR 2011»
15 years 2 months ago
Mediation Spaces for Similarity-Based Semantic Web Services Selection
: Semantic Web Services (SWS) aim at the automated discovery, selection and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions...
Stefan Dietze, Alessio Gugliotta, John Domingue, M...
STOC
2003
ACM
193views Algorithms» more  STOC 2003»
16 years 7 months ago
Space efficient dynamic stabbing with fast queries
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...
Mikkel Thorup
SAC
2004
ACM
16 years 16 days ago
An optimized approach for KNN text categorization using P-trees
The importance of text mining stems from the availability of huge volumes of text databases holding a wealth of valuable information that needs to be mined. Text categorization is...
Imad Rahal, William Perrizo
TCS
2008
15 years 7 months ago
Kernel methods for learning languages
This paper studies a novel paradigm for learning formal languages from positive and negative examples which consists of mapping strings to an appropriate highdimensional feature s...
Leonid Kontorovich, Corinna Cortes, Mehryar Mohri
ICDCSW
2006
IEEE
16 years 1 months ago
Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
Raquel S. Whittlesey-Harris, Mikhail Nesterenko