Sciweavers

2598 search results - page 159 / 520
» The Abstract Immune System Algorithm
Sort
View
ESOP
1994
Springer
15 years 2 months ago
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
Torben Amtoft
SPATIALCOGNITION
2000
Springer
15 years 1 months ago
From Motion Observation to Qualitative Motion Representation
Since humans usually prefer to communicate in qualitative and not in quantitative categories, qualitative spatial representations are of great importance interfaces of systems that...
Alexandra Musto, Klaus Stein, Andreas Eisenkolb, T...
EUROSYS
2006
ACM
15 years 7 months ago
Solving the starting problem: device drivers as self-describing artifacts
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
Michael F. Spear, Tom Roeder, Orion Hodson, Galen ...
SIAMSC
2010
143views more  SIAMSC 2010»
14 years 8 months ago
Computing and Deflating Eigenvalues While Solving Multiple Right-Hand Side Linear Systems with an Application to Quantum Chromod
Abstract. We present a new algorithm that computes eigenvalues and eigenvectors of a Hermitian positive definite matrix while solving a linear system of equations with Conjugate G...
Andreas Stathopoulos, Konstantinos Orginos
INFOCOM
2003
IEEE
15 years 3 months ago
Uplink Scheduling in CDMA Packet-Data Systems
Abstract—Uplink scheduling in wireless systems is gaining importance due to arising uplink intensive data services (ftp, image uploads etc.), which could be hampered by the curre...
Krishnan Kumaran, Lijun Qian