Sciweavers

6455 search results - page 978 / 1291
» Research problems
Sort
View
ICSE
2001
IEEE-ACM
15 years 9 months ago
Conceptual Modeling through Linguistic Analysis Using LIDA
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
Scott P. Overmyer, Benoit Lavoie, Owen Rambow
INAP
2001
Springer
15 years 9 months ago
Defeasible Logic
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
Donald Nute
ISMIR
2001
Springer
173views Music» more  ISMIR 2001»
15 years 9 months ago
An Approach Towards A Polyphonic Music Retrieval System
Most research on music retrieval systems is based on monophonic musical sequences. In this paper, we investigate techniques for a full polyphonic music retrieval system. A method ...
Shyamala Doraisamy
MDM
2001
Springer
15 years 9 months ago
High Performance Data Broadcasting: A Comprehensive Systems' Perspective
Broadcast scheduling algorithms have received a lot of attention recently, since they are important for supporting mobile/ubiquitous computing. However, a comprehensive system'...
Peter Triantafillou, R. Harpantidou, Michael Pater...
SPIN
2001
Springer
15 years 9 months ago
Addressing Dynamic Issues of Program Model Checking
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
Flavio Lerda, Willem Visser