4190 search results - page 83 / 838 » Type Class Directives |
138
click to vote
TABLETOP
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper explores users’ interpersonal interactions during collaboration around a tabletop display, in order to better understand the affordances offered by this medium. We in...
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
d Abstract) Dario Colazzo1 , Giorgio Ghelli2 , Paolo Manghi2 , and Carlo Sartiani2 1 LRI - Universit?e Paris Sud 2 Dipartimento di Informatica - Universit`a di Pisa If a subexpress...
136
click to vote
ADC
2008
Springer
15 years 8 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
116
Voted
AMAST
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
108
Voted
EVOW
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Experiments are described which use genetic algorithms operating on the parameter settings of an FM synthesizer, with the aim of mimicking known synthesized sounds. The w...