19367 search results - page 3725 / 3874 » Fine-Grain Process Modelling |
189
click to vote
ICLP
2011
Springer
14 years 7 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
161
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
160
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
We consider extending decision support facilities toward large sophisticated networks, upon which multidimensional attributes are associated with network entities, thereby forming...
161
Voted
EDM
2011
14 years 3 months ago
2011
Assessment on collaborative student behavior is a longstanding issue in user modeling. Nowadays thanks to the proliferation of online learning and the vast amount of data on studen...
328
click to vote
EMMCVPR
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We present two data-driven importance distributions for particle filterbased articulated tracking; one based on background subtraction, another on depth information. In ...