Sciweavers

1887 search results - page 290 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
119
Voted
FTCS
1998
79views more  FTCS 1998»
15 years 4 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
144
Voted
MICCAI
2009
Springer
16 years 3 months ago
Fast and Robust 3-D MRI Brain Structure Segmentation
We present a novel method for the automatic detection and segmentation of (sub-)cortical gray matter structures in 3-D magnetic resonance images of the human brain. Essentially, th...
Michael Wels, Yefeng Zheng, Gustavo Carneiro, M...
117
Voted
CVPR
2009
IEEE
16 years 9 months ago
Actions in context
This paper exploits the context of natural dynamic scenes for human action recognition in video. Human actions are frequently constrained by the purpose and the physical propert...
Marcin Marszalek (INRIA), Ivan Laptev (INRIA), Cor...
112
Voted
IROS
2008
IEEE
156views Robotics» more  IROS 2008»
15 years 9 months ago
Bayesian state estimation and behavior selection for autonomous robotic exploration in dynamic environments
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
Georgios Lidoris, Dirk Wollherr, Martin Buss
259
Voted
GIS
2006
ACM
16 years 3 months ago
Analyzing theme, space, and time: an ontology-based approach
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
Matthew Perry, Farshad Hakimpour, Amit P. Sheth