10910 search results - page 381 / 2182 » Input modeling using a computer algebra system |
185
click to vote
FASE
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
181
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
180
Voted
ISBI
2006
IEEE
16 years 23 days ago
2006
IEEE
Automated detection of stable fracture points in a sequence of Computed Tomography (CT) images is found to be a challenging task. In this paper, an innovative scheme for automatic...
171
click to vote
HUC
2003
Springer
15 years 12 months ago
2003
Springer
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
202
click to vote
JMM2
2006
15 years 6 months ago
2006
External perception based on vision plays a critical role in developing improved and robust localization algorithms, as well as gaining important information about the vehicle and ...