Sciweavers

2585 search results - page 340 / 517
» Automating Coherent Logic
Sort
View
ICCBR
2005
Springer
16 years 2 days ago
A Knowledge-Intensive Method for Conversational CBR
In conversational case-based reasoning (CCBR), a main problem is how to select the most discriminative questions and display them to users in a natural way to alleviate users’ co...
Mingyang Gu, Agnar Aamodt
NIME
2004
Springer
125views Music» more  NIME 2004»
15 years 12 months ago
Techniques for Multi-Channel Real-Time Spatial Distribution Using Frequency-Domain Processing
The authors have developed several methods for spatially distributing spectral material in real-time using frequency-domain processing. Applying spectral spatialization techniques...
Ryan H. Torchia, Cort Lippe
TPCG
2003
IEEE
15 years 11 months ago
Developing a Global Repository and Showplace for Imagery Data
This working in progress paper describes the development of a web service that provides a 3D (VRML) virtual environment for automated management and exhibition of imagery data. Wi...
Ann Smith, Min Chen, Mike F. Webster
FMCAD
2007
Springer
15 years 10 months ago
Transaction Based Modeling and Verification of Hardware Protocols
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
Xiaofang Chen, Steven M. German, Ganesh Gopalakris...
JIISIC
2007
15 years 8 months ago
A Minimal OCL-based Profile for Model Transformation
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
Roxana S. Giandini, Gabriela Pérez, Claudia...