Sciweavers

3133 search results - page 290 / 627
» Difference systems of sets and cyclotomy
Sort
View
CSUR
1999
137views more  CSUR 1999»
15 years 6 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
173
Voted
JUCS
2002
132views more  JUCS 2002»
15 years 6 months ago
Managing User Focused Access to Distributed Knowledge
: Community web sites exhibit the property that multiple content providers exist. Of course, any portal is only as useful as the quality and amount of its content. Developing origi...
Rudi Studer, York Sure, Raphael Volz
SAC
2002
ACM
15 years 6 months ago
Hierarchical presentation of expansion terms
Different presentations of candidate expansion terms have not been fully explored in interactive query expansion (IQE). Most existing systems that offer an IQE facility use a list...
Hideo Joho, Claire Coverson, Mark Sanderson, Miche...
SPEECH
2002
66views more  SPEECH 2002»
15 years 6 months ago
Spanish recognizer of continuously spelled names over the telephone
In this paper we present a hypothesis-verification approach for a Spanish Recognizer of continuously spelled names over the telephone. We give a detailed description of the spelli...
Rubén San Segundo, José Colás...
CORR
2010
Springer
97views Education» more  CORR 2010»
15 years 5 months ago
Towards a Collision-Free WLAN: Dynamic Parameter Adjustment in CSMA/E2CA
Abstract—Carrier Sense Multiple Access with Enhanced Collision Avoidance (CSMA/ECA) is a distributed MAC protocol that allows collision-free access to the medium in WLAN. The onl...
Jaume Barceló, Boris Bellalta, Cristina Can...