4586 search results - page 121 / 918 » Computing stable models in parallel |
125
click to vote
GCC
2003
Springer
15 years 8 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
129
Voted
DAGM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we propose a new approach to learn structured visual compound models from shape-based feature descriptions. We use captioned text in order to drive the pro...
111
Voted
FGCS
2006
15 years 3 months ago
2006
We present a new algorithm for computing the solution of large Markov chain models whose generators can be represented in the form of a generalized tensor algebra, such as network...
106
Voted
SPAA
1992
ACM
15 years 7 months ago
1992
ACM
A global barrier synchronizes all processors in a parallel system. This paper investigates algorithms that allow disjoint subsets of processors to synchronize independently and in...
142
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...