Sciweavers

2586 search results - page 172 / 518
» Automatic Abstraction for Congruences
Sort
View
80
Voted
PCM
2005
Springer
157views Multimedia» more  PCM 2005»
15 years 3 months ago
Segmentation of the Liver Using the Deformable Contour Method on CT Images
Abstract. Automatic liver segmentation from abdominal computed tomography (CT) images is one of the most important steps for computeraided diagnosis (CAD) for liver CT. However, th...
Seong-Jae Lim, Yong-Yeon Jeong, Yo-Sung Ho
95
Voted
PERVASIVE
2005
Springer
15 years 3 months ago
Simultaneous Tracking and Activity Recognition (STAR) Using Many Anonymous, Binary Sensors
Abstract. In this paper we introduce the simultaneous tracking and activity recognition (STAR) problem, which exploits the synergy between location and activity to provide the info...
D. H. Wilson, Christopher G. Atkeson
68
Voted
MDAFA
2004
Springer
114views Hardware» more  MDAFA 2004»
15 years 3 months ago
Modeling in the Large and Modeling in the Small
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...
Jean Bézivin, Frédéric Jouaul...
CAISE
2003
Springer
15 years 3 months ago
Ranking Web Documents with Dynamic Evaluation by Expert Groups
Abstract. In spite of the wide use of the Internet, it is difficult to develop desirable web documents evaluation that reflects users’ needs. Many automatic ranking systems have ...
Sea Woo Kim, Chin-Wan Chung
88
Voted
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 3 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang