Sciweavers

1586 search results - page 218 / 318
» Modeling the evolution of operating systems: An empirical st...
Sort
View
ECBS
1996
IEEE
127views Hardware» more  ECBS 1996»
15 years 10 months ago
Domain Engineering: The Challenge, Status, and Trends
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
Stephanie White, Michael Edwards
LREC
2010
199views Education» more  LREC 2010»
15 years 7 months ago
A Random Graph Walk based Approach to Computing Semantic Relatedness Using Knowledge from Wikipedia
Determining semantic relatedness between words or concepts is a fundamental process to many Natural Language Processing applications. Approaches for this task typically make use o...
Ziqi Zhang, Anna Lisa Gentile, Lei Xia, José...
SIGIR
2012
ACM
13 years 8 months ago
BReK12: a book recommender for K-12 users
Ideally, students in K-12 grade levels can turn to book recommenders to locate books that match their interests. Existing book recommenders, however, fail to take into account the...
Maria Soledad Pera, Yiu-Kai Ng
HYBRID
1998
Springer
15 years 10 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
ICDE
2009
IEEE
156views Database» more  ICDE 2009»
16 years 8 months ago
Online Anomaly Prediction for Robust Cluster Systems
In this paper, we present a stream-based mining algorithm for online anomaly prediction. Many real-world applications such as data stream analysis requires continuous cluster opera...
Xiaohui Gu, Haixun Wang