Sciweavers

9145 search results - page 228 / 1829
» Description Logic Systems
Sort
View
ISMB
2000
15 years 8 months ago
Towards a Systematics for Protein Subcellular Location: Quantitative Description of Protein Localization Patterns and Automated
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...
Robert F. Murphy, Michael V. Boland, Meel Velliste
ALIFE
2005
15 years 6 months ago
Levels of Description: A Novel Approach to Dynamical Hierarchies
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...
Simon McGregor, Chrisantha Fernando
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
Coarse Qualitative Descriptions in Robot Navigation
This work is about the integration of the skills robot control, landmark recognition, and qualitative reasoning in a single autonomous mobile system. It deals with the transfer of ...
Rolf Müller, Thomas Röfer, Axel Lankenau...
ICDAR
2003
IEEE
15 years 12 months ago
A Constraint-based Approach to Table Structure Derivation
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
Matthew Hurst
LOGCOM
2006
82views more  LOGCOM 2006»
15 years 6 months ago
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
Jan Broersen, Andreas Herzig, Nicolas Troquard