Sciweavers

10802 search results - page 463 / 2161
» Generative and developmental systems
Sort
View
ECBS
2000
IEEE
125views Hardware» more  ECBS 2000»
15 years 11 months ago
Design Tool Integration: An Exercise in Semantic Interoperability
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...
Gabor Karsai
EPIA
1997
Springer
15 years 11 months ago
Controlling for Unexpected Goals when Planning in a Mixed-Initiative Setting
dimension of abstraction and specificity, and they may mix both top-level goals and subgoals when describing what they want a plan to do. We show how the Prodigy planning system h...
Michael T. Cox, Manuela M. Veloso
DAC
1996
ACM
15 years 11 months ago
State Reduction Using Reversible Rules
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
C. Norris Ip, David L. Dill
EURONGI
2006
Springer
15 years 10 months ago
Framework for Resource Allocation in Heterogeneous Wireless Networks Using Game Theory
This is a framework for resource allocation in a heterogeneous system composed of various access networks, for instance Third Generation wireless networks (3G) and WLAN, in the pre...
Mariana Dirani, Tijani Chahed
IV
2000
IEEE
112views Visualization» more  IV 2000»
15 years 10 months ago
Sonification of Remote Sensing Data: Initial Experiment
We are generating music from a particular view of a multi-dimensional geographic information system (GIS) data set to alert a viewer to the existence of hidden clusters of data po...
Frances L. Van Scoy