5863 search results - page 901 / 1173 » On Model-Checking of P Systems |
167
Voted
FPL
2005
Springer
16 years 5 days ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...
152
click to vote
ICWL
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...
200
Voted
BPM
2004
Springer
16 years 1 days ago
2004
Springer
Increasingly information systems log historic information in a systematic way. Workflow management systems, but also ERP, CRM, SCM, and B2B systems often provide a so-called “ev...
239
click to vote
GECCO
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
149
click to vote
ISMIR
2004
Springer
16 years 5 hour ago
2004
Springer
We introduce a causal approach to tempo tracking for musical audio signals. Our system is designed towards an eventual real-time implementation; requiring minimal highlevel knowle...