Sciweavers

3863 search results - page 241 / 773
» Function in Device Representation
Sort
View
ASPDAC
2005
ACM
120views Hardware» more  ASPDAC 2005»
15 years 7 months ago
STACCATO: disjoint support decompositions from BDDs through symbolic kernels
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
Stephen Plaza, Valeria Bertacco
154
Voted
JUCS
2002
110views more  JUCS 2002»
15 years 5 months ago
Generation of Constants and Synchronization of Finite Automata
: The problem about the synchronization of a finite deterministic automaton is not yet properly understood. The present paper investigates this and related problems within the gene...
Arto Salomaa
ICMI
2003
Springer
150views Biometrics» more  ICMI 2003»
15 years 10 months ago
Capturing user tests in a multimodal, multidevice informal prototyping tool
Interaction designers are increasingly faced with the challenge of creating interfaces that incorporate multiple input modalities, such as pen and speech, and span multiple device...
Anoop K. Sinha, James A. Landay
132
Voted
ICIP
2003
IEEE
16 years 7 months ago
Indexing and segmenting colour images using neighbourhood sequences
In this paper we present some methods for indexing and segmenting colour images. The proposed procedures are based on well-known algorithms, but now we use digital distance functi...
András Hajdu, Benedek Nagy, Zoltán Z...
SAS
1999
Springer
15 years 10 months ago
Binary Decision Graphs
Abstract. Binary Decision Graphs are an extension of Binary Decision Diagrams that can represent some infinite boolean functions. Three refinements of BDGs corresponding to class...
Laurent Mauborgne