4418 search results - page 326 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
155
Voted
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
In this paper we consider the problem of temporal texture modeling and synthesis. A temporal texture (or dynamic texture) is seen as the output of a dynamical system driven by whit...
195
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The Intelligence Analyst (IA) community will soon be the designated users of many new software tools. In the multitasking world of the IA, any one tool cannot be permitted to gree...
171
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, τ, σ) such that L and R are termgraphs represen...
199
Voted
DAGM
1997
Springer
15 years 11 months ago
1997
Springer
A novel approach to the computation of an approximate estimate of spatial object pose from camera images is proposed. The method is based on a neural network that generates pose hy...
182
click to vote
DSN
2008
IEEE
15 years 8 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...