1818 search results - page 228 / 364 » Operant conditioning |
108
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
105
click to vote
SIGMETRICS
2003
ACM
15 years 7 months ago
2003
ACM
It is commonly agreed that scheduling mechanisms in general purpose operating systems do not provide adequate support for modern interactive applications, notably multimedia appli...
128
Voted
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
—The problem of finding efficient workload distribution techniques is becoming increasingly important today for heterogeneous distributed systems where the availability of comp...
132
click to vote
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
109
Voted
ICCV
2003
IEEE
15 years 7 months ago
2003
IEEE
Automatically understanding events happening at a site is the ultimate goal of visual surveillance system. This paper investigates the challenges faced by automated surveillance s...