5066 search results - page 706 / 1014 » Spectra of structures and relations |
162
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
140
click to vote
DCC
2006
IEEE
16 years 4 months ago
2006
IEEE
In this work we consider the problem of universal prediction of individual sequences where the universal predictor is a deterministic finite state machine, with a fixed, relativel...
148
click to vote
DCC
2004
IEEE
16 years 4 months ago
2004
IEEE
3D neuro-anatomical images and other volumetric data sets are important in many scientific and biomedical fields. Since such sets may be extremely large, a scalable compression me...
162
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
144
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...