Sciweavers

8917 search results - page 1265 / 1784
» Abstraction in Algorithm Animation
Sort
View
PKDD
2004
Springer
118views Data Mining» more  PKDD 2004»
16 years 11 days ago
Mining Thick Skylines over Large Databases
Abstract. People recently are interested in a new operator, called skyline [3], which returns the objects that are not dominated by any other objects with regard to certain measure...
Wen Jin, Jiawei Han, Martin Ester
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
16 years 11 days ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula
SEM
2004
Springer
16 years 11 days ago
PlanetSim: A New Overlay Network Simulation Framework
Abstract. Current research in peer to peer systems is lacking appropriate environments for simulation and experimentation of large scale overlay services. This has led to a plethor...
Pedro García López, Carles Pairot, R...
SOFTCO
2004
Springer
16 years 11 days ago
Designing Neural Networks Using Gene Expression Programming
Abstract. An artificial neural network with all its elements is a rather complex structure, not easily constructed and/or trained to perform a particular task. Consequently, severa...
Cândida Ferreira
207
Voted
TACAS
2004
Springer
107views Algorithms» more  TACAS 2004»
16 years 11 days ago
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
Abstract. We study schedulability problems of timed systems with nonuniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and...
Pavel Krcál, Wang Yi
« Prev « First page 1265 / 1784 Last » Next »