Sciweavers

3793 search results - page 406 / 759
» Expressive Description Logics
Sort
View
ENTCS
2006
105views more  ENTCS 2006»
15 years 6 months ago
A Game Semantics for Proof Search: Preliminary Results
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
Dale Miller, Alexis Saurin
TVLSI
2002
93views more  TVLSI 2002»
15 years 6 months ago
Simultaneous switching noise in on-chip CMOS power distribution networks
Simultaneous switching noise (SSN) has become an important issue in the design of the internal on-chip power distribution networks in current very large scale integration/ultra lar...
Kevin T. Tang, Eby G. Friedman
CORR
2011
Springer
169views Education» more  CORR 2011»
15 years 1 months ago
Streaming Tree Transducers
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
Rajeev Alur, Loris D'Antoni
ICCV
2003
IEEE
16 years 8 months ago
Bayesian Clustering of Optical Flow Fields
We present a method for unsupervised learning of classes of motions in video. We project optical flow fields to a complete, orthogonal, a-priori set of basis functions in a probab...
Jesse Hoey, James J. Little
CHI
2009
ACM
16 years 7 months ago
What's "this" you say?: the use of local references on distant displays
This study explores how the design of visual display configurations relates to linguistic expressions. Twenty-five participants performed a series of object identification and nar...
Patti Bao, Darren Gergle