4460 search results - page 394 / 892 » Formal methods for interactive systems |
197
Voted
MHCI
2004
Springer
16 years 4 days ago
2004
Springer
This paper introduces a method for automatically partitioning richly-formatted electronic documents. An automatic partitioning system has many potential uses, but we focus here on ...
130
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
In this contribution we consider the idea that successful evolutionary design is best achieved in a networked system. We exemplify this thought by a discussion of artificial regula...
194
click to vote
LAWEB
2003
IEEE
16 years 2 days ago
2003
IEEE
This article presents a method to fast estimate the development effort of Web-based information systems in Chile. The method, called Chilean Web Application Development Effort Est...
177
click to vote
GCC
2003
Springer
16 years 11 hour ago
2003
Springer
Guided by the cooperation theory, this paper puts forward an interactive and cooperative learning environment design that is based on the self-learning mode and cooperative learnin...
196
click to vote
JCIT
2010
15 years 1 months ago
2010
Different kinds of agents in a multi-agent system have different knowledge structure, which results in difficulties of interaction and coordination among agents. At present, ontol...