Sciweavers

83 search results - page 10 / 17
» University of Massachusetts: MUC-3 test results and analysis
Sort
View
POPL
2010
ACM
14 years 4 months ago
Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
Aditya V. Nori, Patrice Godefroid, SaiDeep Tetali,...
ICDAR
2007
IEEE
14 years 1 months ago
Locating Charts from Scanned Document Pages
This paper presents our work on automatically locating charts from document pages, which is an important stage in the chart image recognition and understanding system being develo...
W. Huang, C.-L. Tan
ICASSP
2010
IEEE
13 years 7 months ago
Hiding information inside structured shapes
This paper describes a new technique for embedding a message within structured shapes. It is desired that my changes in the shape owing to the embedded message are invisible to a ...
Samarjit Das, Shantanu Rane, Anthony Vetro
FLAIRS
2004
13 years 9 months ago
The Mobile Agents Integrated Field Test
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...
William J. Clancey, Maarten Sierhuis, Rich Alena, ...
HICSS
2009
IEEE
134views Biometrics» more  HICSS 2009»
14 years 2 months ago
Bridging Socio-Technical Capital in an Online Learning Environment
This work is based on the premise that online learning environments can potentially help develop communities of scholars by enabling participants to discover persons and resources...
Daniel D. Suthers, Kar-Hai Chu, Samuel Joseph