3729 search results - page 491 / 746 » On Formal Modeling of Agent Computations |
187
click to vote
SBBD
2004
15 years 8 months ago
2004
An enormous amount of information is currently available through specialized services of digital libraries (DLs). However the specification and development of DLs are very complex...
154
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
We propose a very efficient numerical algorithm for minimizing certain curvature dependent functionals that appear in a variety of well known variational models of image processin...
147
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
We identify a new type of stateful IDS evasion, named signature evasion. We formalize the signature evasion on those Stateful IDSs whose state can be modeled using Deterministic F...
163
click to vote
TGC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
146
click to vote
DSVIS
2005
Springer
16 years 5 days ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...