5336 search results - page 728 / 1068 » Steerable part models |
211
Voted
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
205
Voted
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
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....
206
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
Stroke is the third leading cause of death and the principal cause of serious long-term disability in the United States. Accurate prediction of stroke is highly valuable for early...
237
Voted
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
196
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
The task addressed in this paper, finding experts in an enterprise setting, has gained in importance and interest over the past few years. Commonly, this task is approached as an ...