2268 search results - page 384 / 454 » The Essence of Form Abstraction |
120
click to vote
APN
1995
Springer
15 years 5 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...
131
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
AI
2010
Springer
15 years 1 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
93
Voted
AROBOTS
2010
15 years 1 months ago
2010
Abstract Assistive mobile robots that autonomously manipulate objects within everyday settings have the potential to improve the lives of the elderly, injured, and disabled. Within...
122
click to vote
CGF
2010
15 years 1 months ago
2010
Diffusion Tensor Imaging (DTI) has made feasible the visualization of the fibrous structure of the brain white matter. In the last decades, several fiber-tracking methods have bee...