Sciweavers

3394 search results - page 39 / 679
» A Modal Model of Memory
Sort
View
BXML
2003
15 years 1 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»
15 years 4 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...
146
Voted
IGARSS
2010
14 years 7 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
16 years 1 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...
89
Voted
CBMS
2007
IEEE
15 years 6 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