3694 search results - page 549 / 739 » Understanding experience in interactive systems |
165
click to vote
ACL
2009
15 years 4 months ago
2009
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...
177
click to vote
FAST
2009
15 years 4 months ago
2009
Provenance capture as applied to execution oriented and interactive workflows is designed to record minute detail needed to support a "modify and restart" paradigm as we...
166
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Networked systems that gather sensor data in order to react to phenomena in their surroundings are faced with a growing need for adaptive behavior to operate in dynamically chang...
298
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
163
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Geographic information has spawned many novel Web applications where global positioning system (GPS) plays important roles in bridging the applications and end users. Learning kno...