Sciweavers

15811 search results - page 3120 / 3163
» Search-based software engineering
Sort
View
AIS
2004
Springer
14 years 3 months ago
Integrated Term Weighting, Visualization, and User Interface Development for Bioinformation Retrieval
This project implements an integrated biological information website that classifies technical documents, learns about users' interests, and offers intuitive interactive visua...
Min Hong, Anis Kairmpour-fard, Steve Russell, Lawr...
ARCS
2004
Springer
14 years 3 months ago
Kreuzkatalytische Netzwerke als Wirtschaftsprinzip
: Im Zeitalter explodierender Informationsverfügbarkeit wird ein Zusammenhang zwischen Informationsnutzung und Innovation erkennbar. Neben den konventionellen Organisationsformen ...
K.-M. Reiß
ECAI
2004
Springer
14 years 3 months ago
Guiding a Theorem Prover with Soft Constraints
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
John K. Slaney, Arnold Binas, David Price
EMSOFT
2004
Springer
14 years 3 months ago
Scheduling within temporal partitions: response-time analysis and server design
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...
Luís Almeida, Paulo Pedreiras
EMSOFT
2004
Springer
14 years 3 months ago
Reactive process networks
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
Marc Geilen, Twan Basten
« Prev « First page 3120 / 3163 Last » Next »