2555 search results - page 236 / 511 » Quantifiers and Working Memory |
145
Voted
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
241
click to vote
JVM
2004
15 years 6 months ago
2004
We are working on scheduling of garbage collector as a concurrent thread for time-constrained applications in Common Language Infrastructure (CLI). We have implemented an increment...
131
Voted
IJCAI
1997
15 years 6 months ago
1997
Windowing has been proposed as a procedure for efficient memory use in the ID3 decision tree learning algorithm. However, it was shown that it may often lead to a decrease in perf...
120
Voted
USENIX
2000
15 years 6 months ago
2000
Network servers make special demands that other types of applications may not make on memory allocators. We describe a simple malloc() microbenchmark suite that tests the ability ...
114
click to vote
ALIFE
2010
15 years 5 months ago
2010
This article describes work carried out to investigate whether a classic reaction-diffusion (RD) system could be used to control a minimally cognitive animat. The RD system chosen ...