Sciweavers

1297 search results - page 161 / 260
» fews 2007
Sort
View
LOCA
2007
Springer
15 years 3 months ago
Inferring the Everyday Task Capabilities of Locations
Abstract. People rapidly learn the capabilities of a new location, without observing every service and product. Instead they map a few observations to familiar clusters of capabili...
Patricia Shanahan, William G. Griswold
LPAR
2007
Springer
15 years 3 months ago
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Véronique Cortier, Stéphanie Delaune
MFCS
2007
Springer
15 years 3 months ago
Traces of Term-Automatic Graphs
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
Antoine Meyer
MICAI
2007
Springer
15 years 3 months ago
Taking Advantage of the Web for Text Classification with Imbalanced Classes
A problem of supervised approaches for text classification is that they commonly require high-quality training data to construct an accurate classifier. Unfortunately, in many real...
Rafael Guzmán-Cabrera, Manuel Montes-y-G&oa...
MICAI
2007
Springer
15 years 3 months ago
A New Hybrid Summarizer Based on Vector Space Model, Statistical Physics and Linguistics
In this article we present a hybrid approach for automatic summarization of Spanish medical texts. There are a lot of systems for automatic summarization using statistics or lingui...
Iria da Cunha, Silvia Fernández, Patricia V...