Sciweavers

2016 search results - page 263 / 404
» Megamaps: Construction and Examples
Sort
View
IJCNN
2008
IEEE
15 years 11 months ago
Dynamic logic of phenomena and cognition
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
Boris Kovalerchuk, Leonid I. Perlovsky
ISORC
2008
IEEE
15 years 11 months ago
Interrupt Handlers in Java
An important part of implementing device drivers is to control the interrupt facilities of the hardware platform and to program interrupt handlers. Current methods for handling in...
Stephan Korsholm, Martin Schoeberl, Anders P. Ravn
TPHOL
2008
IEEE
15 years 11 months ago
First-Class Type Classes
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
Matthieu Sozeau, Nicolas Oury
ACSC
2007
IEEE
15 years 11 months ago
Dynamic Measurement of Polymorphism
Measuring "reuse" and "reusability" is difficult because there are so many different facets to these concepts. Before we can effectively measure reuse and reus...
Kelvin Choi, Ewan D. Tempero
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
15 years 11 months ago
Finding Structure in Unstructured Processes: The Case for Process Mining
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
Wil M. P. van der Aalst, Christian W. Günther