10916 search results - page 16 / 2184 » On Constructive Connectives and Systems |
CDC
2009
IEEE
13 years 7 months ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordina...
NDQA
2003
13 years 11 months ago
2003
We describe our approach in constructing question answering systems, which involves natural language parsing enhanced with named entity extraction and part-of-speech tagging. Perf...
IANDC
2010
13 years 8 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
SJIS
2002
13 years 9 months ago
2002
This paper explores the relevance of recent feminist reconstructions of objectivity for the development of alternative practices of technology production and use. I take as my sta...