Sciweavers

3733 search results - page 188 / 747
» Logics of communication and change
Sort
View
IJDAR
2006
102views more  IJDAR 2006»
15 years 6 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»
15 years 5 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»
16 years 27 days 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
16 years 5 days 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
15 years 4 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