Sciweavers

494 search results - page 59 / 99
» Distributed Resolution for ALC
Sort
View
WSC
1997
13 years 10 months ago
SmartATMS: A Simulator for Air Traffic Management Systems
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...
Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire...
FORTE
1996
13 years 10 months ago
Applications of Fair Testing
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
Ed Brinksma, Arend Rensink, Walter Vogler
COGSCI
2004
77views more  COGSCI 2004»
13 years 8 months ago
Mapping visual attention with change blindness: new directions for a new method
Change blindness provides a new technique for mapping visual attention with unprecedented spatial and temporal resolution. Change blindness can occur when a brief full-field blank...
Peter U. Tse
TMI
2002
96views more  TMI 2002»
13 years 8 months ago
Time-Domain Reconstruction for Thermoacoustic Tomography in a Spherical Geometry
Abstract--Reconstruction-based microwave-induced thermoacoustic tomography in a spherical configuration is presented. Thermoacoustic waves from biological tissue samples excited by...
Minghua Xu, Lihong V. Wang
MICCAI
2010
Springer
13 years 7 months ago
A Geometry-Based Particle Filtering Approach to White Matter Tractography
Abstract. We introduce a fibre tractography framework based on a particle filter which estimates a local geometrical model of the underlying white matter tract, formulated as a ...
Peter Savadjiev, Yogesh Rathi, James G. Malcolm, M...