1069 search results - page 180 / 214 » Automatic Generation of Language-based Tools |
82
Voted
CGF
2008
14 years 12 months ago
2008
Fiber tracking is a standard tool to estimate the course of major white matter tracts from diffusion tensor magnetic resonance imaging (DT-MRI) data. In this work, we aim at suppo...
CONCURRENCY
2007
14 years 11 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
112
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
118
click to vote
JMM2
2006
14 years 11 months ago
2006
Augmented Reality (AR) technologies open up new possibilities especially for task-focused domains such as assembly and maintenance. However, it can be noticed that there is still a...
112
click to vote
CLUSTER
2002
IEEE
14 years 11 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...