Sciweavers

2783 search results - page 285 / 557
» The Nature Of Near-Synonymic Relations
Sort
View
IPPS
2003
IEEE
15 years 7 months ago
Mesh Partitioning: A Multilevel Ant-Colony-Optimization Algorithm
Mesh partitioning is an important problem that has extensive applications in many areas. Multilevel algorithms are a successful class of optimization techniques which addresses th...
Peter Korosec, Jurij Silc, Borut Robic
MEMOCODE
2003
IEEE
15 years 7 months ago
Methods for exploiting SAT solvers in unbounded model checking
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
Kenneth L. McMillan
CIKM
2003
Springer
15 years 7 months ago
Speech user interfaces for information retrieval
The research proposed here concentrates on the problem of designing and developing a spoken query retrieval (SQR) system to access large document databases via voice. The main cha...
Juan E. Gilbert, Yapin Zhong
ECML
2003
Springer
15 years 7 months ago
Support Vector Machines with Example Dependent Costs
Abstract. Classical learning algorithms from the fields of artificial neural networks and machine learning, typically, do not take any costs into account or allow only costs depe...
Ulf Brefeld, Peter Geibel, Fritz Wysotzki
EUSAI
2003
Springer
15 years 7 months ago
Interaction Design for the Disappearing Computer
This invited talk starts out with a review of the previously developed Roomware® concept and sample prototypes as an approach for designing new forms of interaction and collaborat...
Norbert A. Streitz