Sciweavers

2441 search results - page 289 / 489
» Engineering a Tool to Detect Automatically Generated Papers
Sort
View
HICSS
2003
IEEE
132views Biometrics» more  HICSS 2003»
15 years 10 months ago
Experience with ANSI C Markup Language for a Cross-Referencer
The purpose of this paper is twofold: (1) to examine the properties of our ANSI C Markup Language (ACML) as a domain-specific language (DSL); and (2) to show that ACML is useful ...
Hayato Kawashima, Katsuhiko Gondow
HICSS
2005
IEEE
125views Biometrics» more  HICSS 2005»
15 years 10 months ago
Taking Topic Detection From Evaluation to Practice
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
James Allan, Stephen M. Harding, David Fisher, Alv...
153
Voted
FM
2006
Springer
161views Formal Methods» more  FM 2006»
15 years 8 months ago
Changing Programs Correctly: Refactoring with Specifications
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
Fabian Bannwart, Peter Müller
FMICS
2010
Springer
15 years 4 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
119
Voted
MICCAI
2009
Springer
15 years 11 months ago
Multi-level Ground Glass Nodule Detection and Segmentation in CT Lung Images
Early detection of Ground Glass Nodule (GGN) in lung Computed Tomography (CT) images is important for lung cancer prognosis. Due to its indistinct boundaries, manual detection and ...
Yimo Tao, Le Lu, Maneesh Dewan, Albert Y. Chen, Ja...