Sciweavers

2529 search results - page 72 / 506
» The Logical Structure of Binding
Sort
View
CONCUR
2010
Springer
14 years 11 months ago
Modal Logic over Higher Dimensional Automata
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
Cristian Prisacariu
DSOM
2005
Springer
15 years 3 months ago
An Approach to Understanding Policy Based on Autonomy and Voluntary Cooperation
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called ‘promises’ is therefo...
Mark Burgess
NAR
2008
103views more  NAR 2008»
14 years 9 months ago
STITCH: interaction networks of chemicals and proteins
The knowledge about interactions between proteins and small molecules is essential for the understanding of molecular and cellular functions. However, information on such interact...
Michael Kuhn 0004, Christian von Mering, Monica Ca...
WISE
2003
Springer
15 years 3 months ago
A Graphical Environment to Query XML Data with XQuery
XQuery, the standard query language for XML, is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to ...
Daniele Braga, Alessandro Campi
SLOGICA
2008
135views more  SLOGICA 2008»
14 years 9 months ago
A Way to Interpret Lukasiewicz Logic and Basic Logic
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...
Thomas Vetterlein