22909 search results - page 209 / 4582 » A System of Interaction and Structure |
182
click to vote
GI
2010
Springer
15 years 5 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...
182
click to vote
JUCS
2008
15 years 7 months ago
2008
: The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural ...
272
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
The BANKS system supports keyword search on databases storing structured/semi-structured data. Answers to keyword queries are ranked, and as in IR systems, the top answers may not...
182
click to vote
COMPOS
1997
Springer
15 years 11 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
225
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...