Sciweavers

3733 search results - page 188 / 747
» Logics of communication and change
Sort
View
IJDAR
2006
102views more  IJDAR 2006»
15 years 1 months ago
Table form document analysis based on the document structure grammar
Structure analysis of table form documents is an important issue because a printed document and even an electronic document do not provide logical structural information but merely...
Akira Amano, Naoki Asada, Masayuki Mukunoki, Masah...
JSS
2010
123views more  JSS 2010»
14 years 12 months ago
Timed Property Sequence Chart
—Probabilistic properties are considered as the most important requirements for a variety of software systems, since they are used to formulate extra-functional requirements such...
Pengcheng Zhang, Bixin Li, Lars Grunske
CIRA
2007
IEEE
136views Robotics» more  CIRA 2007»
15 years 7 months ago
Algebraic interval constraint driven exploration in human-agent collaborative problem solving
—To enable effective human-agent collaboration, new human-centric computing paradigms are needed. This paper presents a soft constraint representation scheme based on generalized...
Yan Wang
COMPSAC
2005
IEEE
15 years 7 months ago
Experiences with a Dialog-Driven Process Model for Web Application Development
We present a dialog-driven process model for the development of web-based applications that uses a graphical notation to model and iteratively refine the application’s dialog ...
Matthias Book, Volker Gruhn
AMSTERDAM
2009
14 years 11 months ago
A Formal Semantics for Iconic Spatial Gestures
In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
Gianluca Giorgolo