Sciweavers

5387 search results - page 291 / 1078
» Generating generic functions
Sort
View
MICCAI
1999
Springer
15 years 11 months ago
Analysis of Functional MRI Data Using Mutual Information
Abstract. A new information-theoretic approach is presented for analyzing fMRI data to calculate the brain activation map. The method is based on a formulation of the mutualinforma...
Andy Tsai, John W. Fisher III, Cindy Wible, Willia...
SIGSOFT
2010
ACM
15 years 4 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
SEMWEB
2009
Springer
16 years 1 months ago
An Ontology-based Data Matching Framework: use Case Competency-based HRM
As part of the European PROLIX (Process Oriented Learning and Information eXchange) project, VUB STARLab designed a generic ontologybased data matching framework (ODMF). Within the...
Peter De Baer, Yan Tang, Pieter De Leenheer
TPHOL
2005
IEEE
16 years 6 days ago
Axiomatic Constructor Classes in Isabelle/HOLCF
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
Brian Huffman, John Matthews, Peter White
SOFSEM
2005
Springer
16 years 3 days ago
Characteristic Patterns for LTL
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
Antonín Kucera, Jan Strejcek