Sciweavers

5634 search results - page 316 / 1127
» About Abstract Classes
Sort
View
CORR
2007
Springer
82views Education» more  CORR 2007»
15 years 6 months ago
Programs as polygraphs: computability and complexity
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
Guillaume Bonfante, Yves Guiraud
KES
2006
Springer
15 years 6 months ago
Mathematical Formulation of a Type of Hierarchical Neurofuzzy System
Abstract. This paper presents a class of hierarchical fuzzy system applied to a cigar classification system. The weight, texture and chromatic characteristics are used to classify ...
Omar Sánchez, Sixto Romero, Francisco J. Mo...
FUIN
2007
93views more  FUIN 2007»
15 years 6 months ago
Finitary Compositions of Two-way Finite-State Transductions
Abstract. The hierarchy of arbitrary compositions of two-way nondeterministic finite-state transductions collapses when restricted to finitary transductions, i.e., transductions ...
Joost Engelfriet, Hendrik Jan Hoogeboom
PUC
2006
78views more  PUC 2006»
15 years 6 months ago
Supporting ordering and consistency in a distributed Event Heap for Ubiquitous Computing
Abstract. The Stanford Event Heap has been shown to provide appropriate support for constructing interactive workspace applications. Given this success it is natural to consider th...
Oliver Storz, Adrian Friday, Nigel Davies
JACIII
2007
79views more  JACIII 2007»
15 years 6 months ago
State-Transition Computation Models and Program Correctness Thereon
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
Kiyoshi Akama, Ekawit Nantajeewarawat