Sciweavers

736 search results - page 62 / 148
» Moving Specification Structures Between Logical Systems
Sort
View
125
Voted
CVPR
2004
IEEE
16 years 4 months ago
Error Analysis for a Navigation Algorithm Based on Optical-Flow and a Digital Terrain Map
This paper deals with the error analysis of a novel navigation algorithm that uses as input the sequence of images acquired from a moving camera and a Digital Terrain (or Elevatio...
Ehud Rivlin, Héctor Rotstein, Ronen Lerner
BMCBI
2007
167views more  BMCBI 2007»
15 years 2 months ago
MindSeer: a portable and extensible tool for visualization of structural and functional neuroimaging data
Background: Three-dimensional (3-D) visualization of multimodality neuroimaging data provides a powerful technique for viewing the relationship between structure and function. A n...
Eider B. Moore, Andrew V. Poliakov, Peter Lincoln,...
98
Voted
ENTCS
2007
100views more  ENTCS 2007»
15 years 2 months ago
Extensionality of Spatial Observations in Distributed Systems
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
Luís Caires, Hugo Torres Vieira
119
Voted
ANLP
1992
126views more  ANLP 1992»
15 years 3 months ago
Overview of Natural Language Processing of Captions for Retrieving Multimedia Data
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
Eugene J. Guglielmo, Neil C. Rowe
ATAL
2010
Springer
15 years 3 months ago
Making norms concrete
In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level of abstractness of the organisational concepts and ...
Huib Aldewereld, Sergio Álvarez-Napagao, Fr...