Sciweavers

2533 search results - page 217 / 507
» Supporting Generalized Context Interactions
Sort
View
ESANN
2008
15 years 7 months ago
On related violating pairs for working set selection in SMO algorithms
Sequential Minimal Optimization (SMO) is currently the most popular algorithm to solve large quadratic programs for Support Vector Machine (SVM) training. For many variants of this...
Tobias Glasmachers
FMOODS
2007
15 years 7 months ago
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
Mark Hills, Grigore Rosu
158
Voted
IDEAS
2003
IEEE
99views Database» more  IDEAS 2003»
15 years 11 months ago
V2: A Database Approach to Temporal Document Management
Temporal document databases are interesting in a number of contexts, in general document databases as well as more specialized applications like temporal XML/Web warehouses. In or...
Kjetil Nørvåg
CHI
2004
ACM
16 years 6 months ago
Collision warning design to mitigate driver distraction
As computers and other information technology move into cars and trucks, distraction-related crashes are likely to become an important problem. This paper begins to address this p...
John D. Lee, Joshua D. Hoffman, Elizabeth Hayes
HRI
2006
ACM
16 years 7 days ago
Service robots in the domestic environment: a study of the roomba vacuum in the home
Domestic service robots have long been a staple of science fiction and commercial visions of the future. Until recently, we have only been able to speculate about what the experie...
Jodi Forlizzi, Carl F. DiSalvo