Sciweavers

1074 search results - page 47 / 215
» Space of Mechanisms
Sort
View
TABLEAUX
2005
Springer
15 years 11 months ago
Pdk: The System and Its Language
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
ENTCS
2008
97views more  ENTCS 2008»
15 years 6 months ago
POVMs and Naimark's Theorem Without Sums
duce an abstract notion of POVM within the categorical quantum mechanical semantics in terms act categories. Our definition is justified by two facts: i. we provide a purely graph...
Bob Coecke, Éric Oliver Paquette
FGR
2011
IEEE
239views Biometrics» more  FGR 2011»
14 years 9 months ago
On dimensions in emotion psychology
— Is the study of the dimensional space that is meant to represent human emotions helpful in understanding the mechanisms underlying emotional processes? Emotional experience is ...
Christian Kaernbach
INFOVIS
1999
IEEE
15 years 10 months ago
3D Interactive Visualization for Inter-Cell Dependencies of Spreadsheets
This paper proposes a new technique to visualize dependencies among cells in a spreadsheet. In this way, the system firstly visualizes a spreadsheet on a plane in threedimensional...
Hidekazu Shiozawa, Ken-ichi Okada, Yutaka Matsushi...
TEI
2009
ACM
129views Hardware» more  TEI 2009»
16 years 21 days ago
Articulating tangible interfaces
The majority of Tangible User Interfaces (TUIs) consist of rigid objects that are either held in the hands, or arranged relative to each other on a horizontal or vertical surface....
Alan F. Blackwell, Darren Edge