Sciweavers

645 search results - page 87 / 129
» Agency in Natural and Artificial Systems
Sort
View
ISMVL
2008
IEEE
148views Hardware» more  ISMVL 2008»
14 years 2 months ago
Quantum Logic Implementation of Unary Arithmetic Operations
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
Mitchell A. Thornton, David W. Matula, Laura Spenn...
SGAI
2007
Springer
14 years 1 months ago
Supporting Temporal Information in Medical Care Planning
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
Kirsty Bradbrook, Graham Winstanley
TPHOL
2006
IEEE
14 years 1 months ago
Minlog
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
Helmut Schwichtenberg
ICAIL
2005
ACM
14 years 1 months ago
Automatic Legal Text Summarisation: Experiments with Summary Structuring
We describe a set of experiments using machine learning techniques for the task of extractive summarisation. The research is part of a summarisation project for which we use a cor...
Ben Hachey, Claire Grover
MM
2004
ACM
165views Multimedia» more  MM 2004»
14 years 1 months ago
Minimal structures for stories
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...
Nicolas Szilas, Jean-Hugues Réty