5451 search results - page 963 / 1091 » Typed Operational Semantics |
159
Voted
VR
2008
IEEE
15 years 2 months ago
2008
IEEE
It is difficult to implement a stable and realistic haptic simulation for cutting rigid objects that is based on a damping model because of an inevitable conflict between stability...
130
Voted
JTAER
2010
15 years 2 months ago
2010
Digital ecosystems, or IT-ecosystems (ITEs), are composed of multiple and independent entities such as individuals, organizations, services, software, and applications. Together, ...
133
Voted
JUCS
2010
15 years 2 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
126
Voted
MFCS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Visibly pushdown transducers (VPTs) form a strict subclass of pushdown transducers (PTs) that extends finite state transducers with a stack. Like visibly pushdown automa...
135
Voted
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
We address a novel problem domain in the analysis of optical coherence tomography (OCT) images: the diagnosis of multiple macular pathologies in retinal OCT images. The goal is to ...