Sciweavers

2657 search results - page 341 / 532
» On the complexity of hierarchical problem solving
Sort
View
IPPS
2003
IEEE
16 years 3 days ago
Remote Model Reduction of Very Large Linear Systems
We describe a prototype Web service for model reduction of very large-scale linear systems. Specifically, a userfriendly interface is designed so that model reduction can be easi...
Peter Benner, Rafael Mayo, Enrique S. Quintana-Ort...
ASP
2003
Springer
16 years 2 days ago
A Java Wrapper for DLV
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
Francesco Ricca
EUROGP
2003
Springer
101views Optimization» more  EUROGP 2003»
16 years 1 days ago
An Enhanced Framework for Microprocessor Test-Program Generation
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to ...
Fulvio Corno, Giovanni Squillero
COMPGEOM
2010
ACM
15 years 12 months ago
Lines avoiding balls in three dimensions revisited
Let B be a collection of n arbitrary balls in R3 . We establish an almost-tight upper bound of O(n3+ε ), for any ε > 0, on the complexity of the space F(B) of all the lines t...
Natan Rubin
CIKM
2001
Springer
15 years 11 months ago
Towards Speech as a Knowledge Resource
Speech is a tantalizing mode of human communication. On one hand, humans understand speech with ease and use speech to express complex ideas, information, and knowledge. On the ot...
Eric W. Brown, Savitha Srinivasan, Anni Coden, Dul...