Sciweavers

645 search results - page 87 / 129
» Agency in Natural and Artificial Systems
Sort
View
ISMVL
2008
IEEE
148views Hardware» more  ISMVL 2008»
16 years 16 days 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
16 years 7 days 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
16 years 4 days 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
15 years 11 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»
15 years 11 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