Sciweavers

3394 search results - page 39 / 679
» A Modal Model of Memory
Sort
View
BXML
2003
13 years 11 months ago
XML-Based Dialogue Descriptions in the GEMINI Project
Abstract: GEMINI (Generic Environment for Multilingual Interactive Natural Interfaces) is an EC funded research project. The goal of GEMINI is to provide a flexible platform for t...
Stefan W. Hamerich, Yu-Fang H. Wang, Volker Schube...
CAV
1997
Springer
102views Hardware» more  CAV 1997»
14 years 1 months ago
Efficient Model Checking Using Tabled Resolution
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramak...
IGARSS
2010
13 years 4 months ago
Modeling and measurement of optical polarimetric image phenomenology in a complex urban environment
Polarimetric scene phenomenology yields a remote sensing modality that can be used in tandem with or alternative to panchromatic, multispectral, hyperspectral, or infrared intensi...
Michael D. Presnar, John P. Kerekes
SIGSOFT
2009
ACM
14 years 10 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
CBMS
2007
IEEE
14 years 4 months ago
Medical Knowledge Morphing via a Semantic Web Framework
Clinical decision-making involves an active interplay between various medical knowledge modalities. Medical knowledge morphing aims to support clinical decision support by mimicki...
Syed Sibte Raza Abidi, Sajjad Hussain