4354 search results - page 767 / 871 » Matching Objects with Patterns |
CHI
2009
ACM
16 years 5 days ago
2009
ACM
The idea of interactional trajectories through interfaces has emerged as a sensitizing concept from recent studies of tangible interfaces and interaction in museums and galleries....
KDD
2002
ACM
16 years 46 min ago
2002
ACM
A method is described for real-time market intelligence and competitive analysis. News stories are collected online for a designated group of companies. The goal is to detect crit...
CHI
2005
ACM
15 years 12 months ago
2005
ACM
The subArctic user interface toolkit has extensibility as one of its central goals. It seeks not only to supply a powerful library of reusable interactive objects, but also make i...
170
click to vote
POPL
2004
ACM
15 years 12 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
108
click to vote
CADE
2005
Springer
15 years 12 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...