Sciweavers

695 search results - page 136 / 139
» Recognizing Topics through the Use of Interaction Structures
Sort
View
EMSOFT
2005
Springer
14 years 28 days ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
CASCON
2006
119views Education» more  CASCON 2006»
13 years 8 months ago
Static analysis for dynamic coupling measures
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to p...
Yin Liu, Ana Milanova
CSL
2010
Springer
13 years 8 months ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel
CHI
2004
ACM
14 years 7 months ago
ReMail: a reinvented email prototype
1 Electronic mail has become the most widely used business productivity application. However, people increasingly feel frustrated by their email. They are overwhelmed by the volum...
Steven L. Rohall, Dan Gruen, Paul Moody, Martin Wa...
KDD
2007
ACM
191views Data Mining» more  KDD 2007»
14 years 7 months ago
Modeling relationships at multiple scales to improve accuracy of large recommender systems
The collaborative filtering approach to recommender systems predicts user preferences for products or services by learning past useritem relationships. In this work, we propose no...
Robert M. Bell, Yehuda Koren, Chris Volinsky