114 search results - page 11 / 23 » Maintaining Consistency in Hierarchical Reasoning |
105
Voted
JCIT
2008
15 years 10 days ago
2008
Firewall is a useful technique that ensures network security. Firewall examines network packets and determines whether to accept or deny them based on an ordered set of filters. I...
121
Voted
TOPNOC
2008
15 years 7 days ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
ITNG
2007
IEEE
15 years 6 months ago
2007
IEEE
A block-interchange is a rearrangement event that exchanges two, not necessarily consecutive, contiguous regions in a genome, maintaining the original orientation. Signed reversal...
APLAS
2004
ACM
15 years 5 months 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ï...
87
Voted
ACCV
1998
Springer
15 years 4 months ago
1998
Springer
A new paradigm, the minimization of errors in synthesized images, is introduced to organically combine Computer Vision and Computer Graphics for Virtual Reality applications. Based...