1054 search results - page 100 / 211 » Translation Validation of System Abstractions |
138
click to vote
COMPUTER
2004
15 years 6 months ago
2004
partners are abstracted as Web services, we have introduced additional constructs to represent human users and define human interaction patterns. Each business process defined in o...
143
click to vote
NORMAS
2005
Springer
15 years 12 months ago
2005
Springer
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
168
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
169
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
In this paper, we address the problem of visually guiding and controlling a robot in projective three-space using stereo vision. As the proposed method is entirely formulated in pr...
166
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Magnetic resonance imaging (MRI) allows numerous Fourier domain sampling schemes such as Cartesian and non-Cartesian trajectories (e.g. Polar, circular, and spherical). On the oth...