Sciweavers

1297 search results - page 161 / 260
» fews 2007
Sort
View
LOCA
2007
Springer
16 years 16 days 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
16 years 16 days 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
16 years 16 days 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
16 years 16 days 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
16 years 16 days 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...