1421 search results - page 152 / 285 » The First and Second Max-SAT Evaluations |
ICFEM
1997
Springer
14 years 2 months ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
CHI
1996
ACM
14 years 2 months ago
1996
ACM
We have designed two sets of communication tools to enable telepresence in groups who work in different locations. Afterwards we evaluated the tools. Studie (A), in the first grou...
ICCAD
1994
IEEE
14 years 2 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
ICRA
1994
IEEE
14 years 2 months ago
1994
IEEE
A systematic approach to modeling of deformable soft parts for their manipulation is presented. Various deformable parts such as cords, leather products, and sheet metals are mani...
CHI
1994
ACM
14 years 2 months ago
1994
ACM
A marking menu is designed to allow a user to perform a menu selection by either popping-up a radial (or pie) menu, or by making a straight mark in the direction of the desired me...