2989 search results - page 368 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
171
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
175
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Capacitance extraction is an important problem that has been extensively studied. This paper presents a significant improvement for the fast multipole accelerated boundary element...
181
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
Text clustering methods can be used to structure large sets of text or hypertext documents. The well-known methods of text clustering, however, do not really address the special p...
198
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
A recent dominating trend in tracking called tracking-by-detection uses on-line classifiers in order to redetect objects over succeeding frames. Although these methods usually deli...
133
click to vote
BIBM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We introduce methods for detecting in real-time information concerning bites taken during a meal. Our methods use an orientation sensor placed on the wrist of a user, and analyz...