Sciweavers

6549 search results - page 267 / 1310
» Parsimonious additive models
Sort
View
ICWE
2005
Springer
16 years 4 days ago
A Model-Driven Approach for Designing Distributed Web Information Systems
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
Richard Vdovjak, Geert-Jan Houben
IFM
2005
Springer
100views Formal Methods» more  IFM 2005»
16 years 4 days ago
Embedding the Stable Failures Model of CSP in PVS
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
Kun Wei, James Heather
IWQOS
2005
Springer
16 years 4 days ago
Analysis of Stochastic Service Guarantees in Communication Networks: A Server Model
Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in ...
Yuming Jiang, Peder J. Emstad
SIGCSE
2004
ACM
86views Education» more  SIGCSE 2004»
16 years 2 days ago
Research, teaching, and service: the miniconference as a model for CS graduate seminar courses
Rarely are the three pillars of academia—research, teaching, and service—addressed together, within one intellectually cohesive context in the graduate curriculum. Such a cont...
Paolo A. G. Sivilotti, Bruce W. Weide
CIARP
2004
Springer
16 years 1 days ago
Detecting Inflection Patterns in Natural Language by Minimization of Morphological Model
One of the most important steps in text processing and information retrieval is stemming—reducing of words to stems expressing their base meaning, e.g., bake, baked, bakes, bakin...
Alexander F. Gelbukh, Mikhail Alexandrov, Sang-Yon...