Sciweavers

5608 search results - page 814 / 1122
» Structure description tools
Sort
View
FCS
2006
15 years 8 months ago
Algorithmic Control in Concurrent Computations
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
Mark Burgin
AIPS
2003
15 years 8 months ago
GIPO II: HTN Planning in a Tool-supported Knowledge Engineering Environment
In this paper we explore a principled, integrated approach to the process of creating complex planning applications and introduce and evaluate a new hybrid task-reduction planner ...
T. L. McCluskey, Donghong Liu, Ron M. Simpson
APPINF
2003
15 years 8 months ago
An XML Viewer for Tabular Forms for Use with Mechanical Documentation
We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph ...
Omasu Inoue, Kensei Tsuchida, Shin-ichi Nakagawa, ...
EHCI
2001
15 years 8 months ago
A Unifying Reference Framework for the Development of Plastic User Interfaces
Abstract. The increasing proliferation of computational devices has introduced the need for applications to run on multiple platforms in different physical environments. Providing ...
Gaëlle Calvary, Joëlle Coutaz, David The...
DICTA
2003
15 years 8 months ago
Volumetric Medical Imaging Environment
We describe a graphical tool for analysis and visualization of three dimensional medical data. The application is intended to help physicians interpret the geometric structures of ...
Bobi Gilburd, Michal Holtzman-Gazit, Alon Spira, D...