Sciweavers

6042 search results - page 254 / 1209
» Repeated Observation Models
Sort
View
CHI
1997
ACM
15 years 10 months ago
Computational Models of Information Scent-Following in a Very Large Browsable Text Collection
An ecological-cognitive framework of analysis and a model-tracing architecture are presented and used in the analysis of data recorded from users browsing a large document collect...
Peter Pirolli
CAV
2001
Springer
87views Hardware» more  CAV 2001»
15 years 10 months ago
Microarchitecture Verification by Compositional Model Checking
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
Ranjit Jhala, Kenneth L. McMillan
UML
2000
Springer
15 years 9 months ago
Precise Modeling of Design Patterns
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
Alain Le Guennec, Gerson Sunyé, Jean-Marc J...
CSDA
2008
98views more  CSDA 2008»
15 years 6 months ago
Forecasting binary longitudinal data by a functional PC-ARIMA model
The purpose of this paper is to forecast the time evolution of a binary response variable from an associated continuous time series observed only at discrete time points that usual...
Ana M. Aguilera, Manuel Escabias, Mariano J. Valde...
160
Voted
ICCV
2005
IEEE
16 years 8 months ago
Detecting Irregularities in Images and in Video
We address the problem of detecting irregularities in visual data, e.g., detecting suspicious behaviors in video sequences, or identifying salient patterns in images. The term &qu...
Oren Boiman, Michal Irani