511 search results - page 39 / 103 » A Methodology for Extending Focusing Frameworks |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
ICIDS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Computational storytelling systems have mainly focused on the construction and evaluation of textual discourse for communicating stories. Few intelligent camera systems h...
SMA
2008
ACM
14 years 9 months ago
2008
ACM
In recent years, there has been an increasing interest in developing geometric algorithms for kinematic computations. The aim of this paper is to present the notion of kinematic c...
INFORMATICALT
2006
14 years 9 months ago
2006
This paper discusses the determination of the spare inventory level for a multiechelon repairable item inventory system, which has several bases and a central depot with emergency ...
SIGMOD
2002
ACM
14 years 9 months ago
2002
ACM
Mobile computing technology is developing rapidly due to the advantages of information access through mobile devices and the need to retrieve information at remote locations. Howe...