4814 search results - page 91 / 963 » Combining abstract interpreters |
130
click to vote
BILDMED
2007
15 years 7 months ago
2007
Abstract. In this paper, a novel virtual reality-based simulator for regional anaesthesia is presented. Individual datasets of patients with nerve cords are created from medical sc...
141
click to vote
EJC
2008
15 years 5 months ago
2008
Abstract. In this paper we enumerate the number of ways of selecting k objects from n objects arrayed in a line such that no two selected ones are separated by m-1, 2m-1,
168
click to vote
MCS
2005
Springer
15 years 11 months ago
2005
Springer
Mixed Group Ranks is a parametric method for combining rank based classi ers that is eective for many-class problems. Its parametric structure combines qualities of voting methods...
129
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...
100
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...