2175 search results - page 200 / 435 » From Human Knowledge to Process Models |
115
click to vote
DAGM
2009
Springer
15 years 10 months ago
2009
Springer
An important problem in many computer vision tasks is the separation of an object from its background. One common strategy is to estimate appearance models of the object and backgr...
161
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
143
click to vote
ACHI
2008
IEEE
15 years 10 months ago
2008
IEEE
—A challenging issue for HCI is the development of usable mobile interfaces for interactions with a complex pervasive environment. We consider a need for interfaces which automat...
140
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
161
Voted
KDD
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we introduce a system named Argo which provides intelligent advertising made possible from users’ photo collections. Based on the intuition that user-generated ph...