1686 search results - page 117 / 338 » Artful systems in the home |
SIGUCCS
2003
ACM
14 years 3 months ago
2003
ACM
The Ringling School of Art and Design is a fully accredited four year college of visual art and design with a student population of approximately 1000. The Ringling School has ach...
ACSD
2001
IEEE
14 years 1 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
DAGSTUHL
2006
13 years 11 months ago
2006
Market engineering is making markets work. Markets are information processing and information producing information systems which mediate allocation of resources within or between...
NAACL
2004
13 years 11 months ago
2004
Systems that automatically discover semantic classes have emerged in part to address the limitations of broad-coverage lexical resources such as WordNet and Cyc. The current state...
CADE
2001
Springer
14 years 2 months ago
2001
Springer
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...