Sciweavers

13026 search results - page 2320 / 2606
» Probabilistic Relational Models
Sort
View
ASYNC
2004
IEEE
61views Hardware» more  ASYNC 2004»
15 years 8 months ago
Long Wires and Asynchronous Control
As integrated circuit technologies get smaller, circuit and architectural trends make transmitting data across long on-chip wires increasingly important yet increasingly expensive...
Ron Ho, Jonathan Gainsley, Robert J. Drost
BPM
2004
Springer
95views Business» more  BPM 2004»
15 years 8 months ago
On Dealing with Structural Conflicts between Process Type and Instance Changes
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...
Stefanie Rinderle, Manfred Reichert, Peter Dadam
APPROX
2006
Springer
179views Algorithms» more  APPROX 2006»
15 years 8 months ago
Adaptive Sampling and Fast Low-Rank Matrix Approximation
We prove that any real matrix A contains a subset of at most 4k/ + 2k log(k + 1) rows whose span "contains" a matrix of rank at most k with error only (1 + ) times the er...
Amit Deshpande, Santosh Vempala
ATAL
2006
Springer
15 years 8 months ago
Study of social consciousness in stochastic agent based simulations: application to supply chains
Empirical game theory allows studying the strategic interactions of agents in simulations. Specifically, traditional game theory describes such interactions by an analytical model...
Thierry Moyaux, Brahim Chaib-draa, Sophie D'Amours
130
Voted
ATVA
2006
Springer
83views Hardware» more  ATVA 2006»
15 years 8 months ago
A Fresh Look at Testing for Asynchronous Communication
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
Puneet Bhateja, Paul Gastin, Madhavan Mukund
« Prev « First page 2320 / 2606 Last » Next »