3011 search results - page 135 / 603 » Generating XML Based Specifications of Information Systems |
ARCS
2006
Springer
14 years 21 days ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper deals with the error analysis of a novel navigation algorithm that uses as input the sequence of images acquired from a moving camera and a Digital Terrain (or Elevatio...
VRML
2003
ACM
14 years 2 months ago
2003
ACM
Multi-user virtual environment (MUVE) systems integrate the technologies of virtual reality and distributed system to allow users to interact with each other in a realistic virtua...
AIRS
2010
Springer
13 years 6 months ago
2010
Springer
This paper describes a novel approach of improving multi-document summarization based on cross-document information extraction (IE). We describe a method to automatically incorpora...
FBIT
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...