4047 search results - page 282 / 810 » Algebraic Model Checking |
170
click to vote
IJDE
2007
15 years 6 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
190
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We present an algebraic solution to both direct and featurebased registration of diffusion tensor images under various local deformation models. In the direct case, we sh...
184
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Visual servoing schemes generally employ various image features (points, lines, moments etc.) in their control formulation. This paper presents a novel method for using boundar...
157
click to vote
ISSAC
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
145
click to vote
APLAS
2004
ACM
16 years 2 days ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...