Sciweavers

91 search results - page 6 / 19
» A Knowledge Acquisition Tool for Course of Action Analysis
Sort
View
IWRIDL
2006
ACM
158views Education» more  IWRIDL 2006»
14 years 1 months ago
Document image analysis for digital libraries
Digital Libraries have many forms – institutional libraries for information dissemination, document repositories for recordkeeping, and personal digital libraries for organizing...
Prateek Sarkar
JCDL
2003
ACM
231views Education» more  JCDL 2003»
14 years 26 days ago
Acquisition, Representation, Query and Analysis of Spatial Data: A Demonstration 3D Digital Library
The increasing power of techniques to model complex geometry and extract meaning from 3D information create complex data that must be described, stored, and displayed to be useful...
Jeremy Rowe, Anshuman Razdan, Arleyn Simon
CDVE
2006
Springer
160views Visualization» more  CDVE 2006»
13 years 11 months ago
Automated Social Network Analysis for Collaborative Work
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
Larry Korba, Ronggong Song, George Yee, Andrew S. ...
DKE
2006
99views more  DKE 2006»
13 years 7 months ago
How to act on inconsistent news: Ignore, resolve, or reject
Inconsistencies frequently occur in news about the real-world. Some of these inconsistencies may be more significant than others, and some news may contain more inconsistencies th...
Anthony Hunter
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
14 years 2 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery