Sciweavers

1407 search results - page 201 / 282
» Learning Abstract Scheduling Models
Sort
View
CIKM
2010
Springer
14 years 8 months ago
Term necessity prediction
The probability that a term appears in relevant documents ( ) is a fundamental quantity in several probabilistic retrieval models, however it is difficult to estimate without rele...
Le Zhao, Jamie Callan
ECTEL
2007
Springer
15 years 4 months ago
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst...
ML
2007
ACM
106views Machine Learning» more  ML 2007»
14 years 9 months ago
Surrogate maximization/minimization algorithms and extensions
Abstract Surrogate maximization (or minimization) (SM) algorithms are a family of algorithms that can be regarded as a generalization of expectation-maximization (EM) algorithms. A...
Zhihua Zhang, James T. Kwok, Dit-Yan Yeung
SECON
2010
IEEE
14 years 7 months ago
Deconstructing Interference Relations in WiFi Networks
Abstract--Wireless interference is the major cause of degradation of capacity in 802.11 wireless networks. We present an approach to estimate the interference between nodes and lin...
Anand Kashyap, Utpal Paul, Samir R. Das
FM
2006
Springer
153views Formal Methods» more  FM 2006»
15 years 1 months ago
Formal Methods and Cryptography
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
Michael Backes, Birgit Pfitzmann, Michael Waidner