Sciweavers

5608 search results - page 820 / 1122
» On the Theory of Matchgate Computations
Sort
View
CONCUR
2001
Springer
15 years 11 months ago
CCS with Priority Guards
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...
Iain Phillips
CONTEXT
2001
Springer
15 years 11 months ago
A Connectionist-Symbolic Approach to Modeling Agent Behavior: Neural Networks Grouped by Contexts
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
Amy E. Henninger, Avelino J. Gonzalez, Michael Geo...
ICCS
2001
Springer
15 years 11 months ago
Many-Valued Context Analysis Using Descriptions
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...
Ralf Gugisch
MMMACNS
2001
Springer
15 years 11 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
ICNP
2000
IEEE
15 years 11 months ago
Coordinated Network Scheduling: A Framework for End-to-End Services
In multi-hop networks, packet schedulers at downstream nodes have an opportunity to make up for excessive latencies due to congestion at upstream nodes. Similarly, when packets in...
Chengzhi Li, Edward W. Knightly