8446 search results - page 994 / 1690 » A Process Compensation Language |
168
click to vote
MICCAI
2006
Springer
16 years 8 months ago
2006
Springer
We describe scripting facilities to create medical animations for intervention planning based on medical volume data and derived segmentation information. A data independent script...
208
click to vote
WWW
2007
ACM
16 years 8 months ago
2007
ACM
We present a method for acquiring ontological knowledge using search query logs. We first use query logs to identify important contexts associated with terms belonging to a semant...
295
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...
208
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
157
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
: There has been an abundance of research within the last couple of decades in the area of multilevel secure (MLS) databases. Recent work in this field deals with the processing of...