6320 search results - page 1167 / 1264 » Towards Situated Computing |
143
click to vote
DIS
1999
Springer
15 years 7 months ago
1999
Springer
After two decades of research on automated discovery, many principles are shaping up as a foundation of discovery science. In this paper we view discovery science as automation of ...
139
Voted
MICCAI
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A new information-theoretic approach is presented for analyzing fMRI data to calculate the brain activation map. The method is based on a formulation of the mutualinforma...
113
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
The problem of scheduling a weighted directed acyclic graph (DAG) to a set of homogeneous processors to minimize the completion time has been extensively studied. The NPcompletene...
122
click to vote
STACS
1999
Springer
15 years 7 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
120
Voted
CVRMED
1997
Springer
15 years 7 months ago
1997
Springer
During the past year our group has been developing HipNav, a system which helps surgeons determine optimal, patient-specific acetabular implant placement and accurately achieve the...