1341 search results - page 195 / 269 » Logic for Modeling Product Structure |
117
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
108
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— We address the problem of modeling and controlling a swarm of fully actuated point-like robots in three dimensions by generalizing the planar framework from [1]. We define a e...
138
Voted
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
Representations are at work in IT technology. As plans of and for work, they enable cooperation, coordination, accountability and control, which have to be balanced off against ea...
119
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
We propose a method for induction of compact optimal recommendation policies based on discovery of frequent itemsets in a purchase database, followed by the application of standar...
129
Voted
CIG
2005
IEEE
15 years 9 months ago
2005
IEEE
TRACS (Tool for Research on Adaptive Cognitive Strategies) is a new suite of card games played with a special deck, where the back of each card is a clue to the front of the card. ...