Sciweavers

16218 search results - page 420 / 3244
» Standards
Sort
View
170
Voted
SPIRE
2005
Springer
16 years 17 days ago
Deriving TF-IDF as a Fisher Kernel
The Dirichlet compound multinomial (DCM) distribution has recently been shown to be a good model for documents because it captures the phenomenon of word burstiness, unlike standar...
Charles Elkan
TLCA
2005
Springer
16 years 16 days ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
UM
2005
Springer
16 years 16 days ago
Motion-Based Adaptation of Information Services for Mobile Users
Adaptive information systems typically exploit knowledge about the user’s interests, preferences, goals etc. to determine what should be presented to the user and how this presen...
Mathias Bauer, Matthieu Deru
WEBI
2005
Springer
16 years 16 days ago
Semantic Based Collaborative P2P in Ubiquitous Computing
We propose a collaborative environment for semanticenabled mobile devices (e.g. PDAs, cell phones, laptops) in peer to peer scenarios. Within the environment, resource discovery i...
Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio...
190
Voted
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
16 years 16 days ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting