Sciweavers

5451 search results - page 903 / 1091
» Typed Operational Semantics
Sort
View
ALT
2004
Springer
16 years 27 days ago
New Revision Algorithms
A revision algorithm is a learning algorithm that identifies the target concept, starting from an initial concept. Such an algorithm is considered efficient if its complexity (in ...
Judy Goldsmith, Robert H. Sloan, Balázs Sz&...
ICCAD
2005
IEEE
81views Hardware» more  ICCAD 2005»
16 years 25 days ago
Kauffman networks: analysis and applications
Abstract— A Kauffman network is an abstract model of gene regulatory networks. Each gene is represented by a vertex. An edge from one vertex to another implies that the former ge...
Elena Dubrova, Maxim Teslenko, Andrés Marti...
CSCW
2010
ACM
16 years 24 days ago
Warrants and deception in computer mediated communication
This article explores the operation of warrants, connections between online and real-world identities, on deceptive behavior in computer-mediated communication. A survey of 132 pa...
Darcy Warkentin, Michael Woodworth, Jeffrey T. Han...
185
Voted
CVPR
2010
IEEE
16 years 6 days ago
Visual Object Tracking using Adaptive Correlation Filters
Although not commonly used, correlation filters can track complex objects through rotations, occlusions and other distractions at over 20 times the rate of current state-ofthe-ar...
David Bolme, J Ross Beveridge, Bruce Draper, Yui M...
SI3D
2010
ACM
15 years 10 months ago
Stochastic transparency
Stochastic transparency provides a unified approach to orderindependent transparency, anti-aliasing, and deep shadow maps. It augments screen-door transparency using a random sub...
Eric Enderton, Erik Sintorn, Peter Shirley, David ...