4586 search results - page 810 / 918 » Computing stable models in parallel |
202
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Modern enterprise applications are forced to deal with unreliable, inconsistent and imprecise information. Probabilistic databases can model such data naturally, but SQL query eva...
153
click to vote
VIS
2004
IEEE
16 years 2 months ago
2004
IEEE
We describe a general algorithm to produce compatible 3D triangulations from spatial decompositions. Such triangulations match edges and faces across spatial cell boundaries, solv...
101
click to vote
HPCA
2003
IEEE
16 years 2 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
142
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
110
click to vote
STACS
2009
Springer
15 years 8 months ago
2009
Springer
Cellular Automata (CA) are discrete dynamical systems and an abstract model of parallel computation. The limit set of a cellular automaton is its maximal topological attractor. A w...