Sciweavers

2183 search results - page 258 / 437
» On Combining Dissimilarity Representations
Sort
View
AAAI
1994
15 years 7 months ago
Automatic Depiction of Spatial Descriptions
A novel combination of ideas from cognitive linguistics and spatial occupancy models in robotics has led to the WIP (Words Into Pictures) system. WIP automatically generates depic...
Patrick Olivier, Toshiyuki Maeda, Jun-ichi Tsujii
PSTV
1993
123views Hardware» more  PSTV 1993»
15 years 7 months ago
On the Verification of Temporal Properties
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
Patrice Godefroid, Gerard J. Holzmann
FORTE
1989
15 years 7 months ago
Compilation of LOTOS Abstract Data Types
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
Hubert Garavel
TREC
2007
15 years 7 months ago
Query and Document Models for Enterprise Search
: We describe our participation in the TREC 2007 Enterprise track and detail our language modeling-based approaches. For document search, our focus was on estimating a mixture mode...
Krisztian Balog, Katja Hofmann, Wouter Weerkamp, M...
BILDMED
2009
160views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Multimodal Visualization of DTI and fMRI Data Using Illustrative Methods
Designing multimodal visualizations combining anatomical and functional brain data is a demanding task. Jainek et al. [1] applied illustrative rendering techniques to obtain a high...
Silvia Born, Werner M. Jainek, Mario Hlawitschka, ...