Sciweavers

3545 search results - page 435 / 709
» Computational methods for case-cohort studies
Sort
View
WIOPT
2006
IEEE
16 years 18 days ago
Online association policies in IEEE 802.11 WLANs
Abstract— In this paper, we study the performance of clientAccess Point (AP) association policies in IEEE 802.11 based WLANs. In many scenarios, clients have a choice of APs with...
Gaurav Kasbekar, Joy Kuri, Pavan Nuggehalli
SIGIR
2005
ACM
16 years 5 days ago
A phonotactic-semantic paradigm for automatic spoken document classification
We demonstrate a phonotactic-semantic paradigm for spoken document categorization. In this framework, we define a set of acoustic words instead of lexical words to represent acous...
Bin Ma, Haizhou Li
CAV
2005
Springer
129views Hardware» more  CAV 2005»
16 years 4 days ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
CIKM
2005
Springer
16 years 4 days ago
Exact match search in sequence data using suffix trees
We study suitable indexing techniques to support efficient exact match search in large biological sequence databases. We propose a suffix tree (ST) representation, called STA-DF, ...
Mihail Halachev, Nematollaah Shiri, Anand Thamildu...
DSVIS
2003
Springer
15 years 11 months ago
Addressing Marketing Requirements in User-Interface Design for Multiple Platforms
The commercial use of the Internet for service provision has deeply changed the environment where human-computer interaction takes place. Web interfaces are now integrated in overa...
Lia Patrício, João Falcão e C...