1661 search results - page 219 / 333 » Real-time specification patterns |
ICANN
2010
Springer
15 years 1 months ago
2010
Springer
In previous work, we have developed a "Glance-Look" model, which has replicated a broad profile of data on the semantic Attentional Blink (AB) task and characterized how ...
139
click to vote
CGF
2008
15 years 1 months ago
2008
Most graph visualization techniques focus on the structure of graphs and do not offer support for dealing with node attributes and edge labels. To enable users to detect relations...
115
Voted
CCR
2004
15 years 1 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
125
click to vote
AAI
2000
15 years 1 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
108
click to vote
ICDAR
2009
IEEE
14 years 11 months ago
2009
IEEE
The problem of writer identification in a multiscript environment is attempted using a twodimensional (2D) autoregressive (AR) modelling technique. Each writer is represented by a...