Sciweavers

10910 search results - page 170 / 2182
» Input modeling using a computer algebra system
Sort
View
DAC
1994
ACM
15 years 1 months ago
Probabilistic Analysis of Large Finite State Machines
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fab...
HICSS
2006
IEEE
126views Biometrics» more  HICSS 2006»
15 years 4 months ago
A Model for Temporal Interval Authorizations
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
Francis B. Afinidad, Timothy E. Levin, Cynthia E. ...
TOG
2012
206views Communications» more  TOG 2012»
13 years 17 days ago
Beady: interactive beadwork design and construction
We introduce the interactive system “Beady” to assist the design and construction of customized 3D beadwork. The user first creates a polygonal mesh model called the design m...
Yuki Igarashi, Takeo Igarashi, Jun Mitani
ENTCS
2008
102views more  ENTCS 2008»
14 years 10 months ago
Programming Languages For Interactive Computing
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
Roly Perera
76
Voted
ECCV
1992
Springer
15 years 12 months ago
An Attentional Prototype for Early Vision
Researchers have long argued that an attentional mechanism is required to perform many vision tasks. This paper introduces an attentiona] prototype for early visual processing. Ou...
Sean M. Culhane, John K. Tsotsos