24421 search results - page 4360 / 4885 » Communicating Complex Systems |
187
click to vote
TPHOL
2005
IEEE
16 years 22 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
217
click to vote
VISUALIZATION
2005
IEEE
16 years 22 days ago
2005
IEEE
Diffusion tensor imaging is a magnetic resonance imaging method which has gained increasing importance in neuroscience and especially in neurosurgery. It acquires diffusion proper...
204
click to vote
WACV
2005
IEEE
16 years 22 days ago
2005
IEEE
As tracking systems become more effective at reliably tracking multiple objects over extended periods of time within single camera views and across overlapping camera views, incre...
173
click to vote
WACV
2005
IEEE
16 years 22 days ago
2005
IEEE
While a large number of vision applications rely on the mapping between 3D scenes and their corresponding 2D camera images, the question that occurs to most researchers is what, i...
171
click to vote
AOSD
2005
ACM
16 years 22 days ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...