Sciweavers

434 search results - page 30 / 87
» sum 2007
Sort
View
VLSID
2007
IEEE
94views VLSI» more  VLSID 2007»
14 years 8 months ago
A Reduced Complexity Algorithm for Minimizing N-Detect Tests
? We give a new recursive rounding linear programming (LP) solution to the problem of N-detect test minimzation. This is a polynomialtime solution that closely approximates the exa...
Kalyana R. Kantipudi, Vishwani D. Agrawal
DEXAW
2007
IEEE
97views Database» more  DEXAW 2007»
14 years 2 months ago
Situated Multimodal Documents
—The choices made by user in processing a set of documents is related, in a broad sense, to the sum of influences coming from the documents in the user situation, which does not...
Augusto Celentano, Fabio Pittarello
ECAL
2007
Springer
14 years 1 months ago
Detecting Non-trivial Computation in Complex Dynamics
Abstract. We quantify the local information dynamics at each spatiotemporal point in a complex system in terms of each element of computation: information storage, transfer and mod...
Joseph T. Lizier, Mikhail Prokopenko, Albert Y. Zo...
ICCSA
2007
Springer
14 years 1 months ago
Shortest Path Queries Between Geometric Objects on Surfaces
Abstract. We consider geometric shortest path queries between arbitrary pairs of objects on a connected polyhedral surface P of genus g. The query objects are points, vertices, edg...
Hua Guo, Anil Maheshwari, Doron Nussbaum, Jör...
LOPSTR
2007
Springer
14 years 1 months ago
Aggregates for CHR through Program Transformation
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
Peter Van Weert, Jon Sneyers, Bart Demoen