2152 search results - page 334 / 431 » On Automating the Calculus of Relations |
138
click to vote
CL
2008
Springer
15 years 23 days ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
CI
2007
15 years 20 days ago
2007
In this paper we present a computational approach to developing effective training systems for virtual simulation environments. In particular, we focus on a Naval simulation syste...
GIS
1998
ACM
15 years 10 days ago
1998
ACM
Geographical Information Systems (GIS) involve the manipulation of large spatial data sets, and the performance of these systems is often determined by how these data sets are orga...
110
Voted
SCFBM
2008
15 years 4 days ago
2008
Background: Ultrasound scanning uses the medical imaging format, DICOM, for electronically storing the images and data associated with a particular scan. Large health care facilit...
115
click to vote
SIGOPS
2010
14 years 11 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...