6020 search results - page 532 / 1204 » A New Approach to Model Counting |
240
click to vote
VISUALIZATION
1994
IEEE
15 years 11 months ago
1994
IEEE
We describe a technique for achieving fast volume ray casting on parallel machines, using a load balancing scheme and an e cient pipelined approach to compositing. We propose a ne...
183
click to vote
WSC
2008
15 years 9 months ago
2008
This paper presents an exact approach of calculating float for each activity in linear schedules. It is based on singularity functions, which have been used previously to determin...
191
click to vote
IESA
2007
15 years 8 months ago
2007
In this paper we propose a new approach for service-oriented enterprise application integration (EAI). Unlike current EAI solutions, which mainly focus on technological aspects, ou...
179
click to vote
EMNLP
2007
15 years 8 months ago
2007
In this paper, we describe a new algorithm for recovering WH-trace empty nodes. Our approach combines a set of hand-written patterns together with a probabilistic model. Because t...
155
click to vote
ENTCS
2010
15 years 7 months ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...