2738 search results - page 371 / 548 » The Frobenius Problem and Its Generalizations |
174
click to vote
ICMCS
2006
IEEE
16 years 2 hour ago
2006
IEEE
The analysis of audio signals of popular and rock songs of the versechorus form to reconstruct its original musical structures is investigated in this work. We first compute the ...
163
click to vote
ACL2
2006
ACM
15 years 12 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
180
click to vote
ACMICEC
2006
ACM
15 years 12 months ago
2006
ACM
This paper covers the research problem of supporting users' decision making in E-Commerce systems with complex choices, and design of an Adaptive Decision Support System (ADS...
155
click to vote
ACMICEC
2006
ACM
15 years 12 months ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
147
click to vote
HRI
2006
ACM
15 years 12 months ago
2006
ACM
Robot programmers are faced with the challenging problem of understanding the robot’s view of its world, both when creating and when debugging robot software. As a result tools ...