9067 search results - page 1493 / 1814 » Adaptive Model Checking |
195
click to vote
DELOS
2004
15 years 8 months ago
2004
Current developments on Service-oriented Architectures, Peer-to-Peer and Grid computing promise more open and flexible architectures for digital libraries. They will open DL techno...
185
click to vote
ESANN
2004
15 years 8 months ago
2004
Standard pattern recognition provides effective and noise-tolerant tools for machine learning tasks; however, most approaches only deal with real vectors of a finite and fixed dime...
193
click to vote
GRAPHICSINTERFACE
2004
15 years 8 months ago
2004
Radiosity is a widely used technique for global illumination. Typically the computation is performed offline and the result is viewed interactively. We present a technique for com...
182
click to vote
FLAIRS
2006
15 years 8 months ago
2006
1 In the classic educational context, observing and identifying learner's emotional response allow the teacher to adapt the lesson, with the aim of improving the quality of th...
194
click to vote
IJIT
2004
15 years 8 months ago
2004
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...