Sciweavers

549 search results - page 51 / 110
» Lightweight Analysis of Object Interactions
Sort
View
DAC
2006
ACM
14 years 9 months ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...
JAMIA
2011
83views more  JAMIA 2011»
12 years 11 months ago
Use of electronic clinical documentation: time spent and team interactions
Objective To measure the time spent authoring and viewing documentation and to study patterns of usage in healthcare practice. Design Audit logs for an electronic health record we...
George Hripcsak, David K. Vawdrey, Matthew R. Fred...
BMCBI
2008
152views more  BMCBI 2008»
13 years 8 months ago
Predicting biological system objectives de novo from internal state measurements
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
Erwin P. Gianchandani, Matthew A. Oberhardt, Antho...
CANDC
2009
ACM
14 years 3 months ago
A quantitative analysis of the collective creativity in playing 20-questions games
Creativity is an important ingredient in problem solving, and problem solving is an important activity for both individuals and societies. This paper discusses our novel approach ...
Wen Dong, Taemie Kim, Alex Pentland
PAMI
2002
150views more  PAMI 2002»
13 years 8 months ago
Object Tracking with Bayesian Estimation of Dynamic Layer Representations
Decomposing video frames into coherent two-dimensional motion layers is a powerful method for representing videos. Such a representation provides an intermediate description that e...
Hai Tao, Harpreet S. Sawhney, Rakesh Kumar