Sciweavers

2962 search results - page 485 / 593
» Reasoning on Association Rules
Sort
View
IMECS
2007
15 years 7 months ago
Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
Ka L. Man, Michel P. Schellekens
OWLED
2008
15 years 7 months ago
Easy Keys for OWL
One of the commonly requested features for OWL is some form of key support, generally phrased as allowing inverse-functional datatype properties. For a variety of technical reasons...
Bijan Parsia, Ulrike Sattler, Thomas Schneider 000...
UAI
2008
15 years 7 months ago
A Game-Theoretic Analysis of Updating Sets of Probabilities
We consider how an agent should update her uncertainty when it is represented by a set P of probability distributions and the agent observes that a random variable X takes on valu...
Peter Grünwald, Joseph Y. Halpern
WICSA
2008
15 years 7 months ago
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
Zhiming Chang, XinJun Mao, Zhichang Qi
EVOTING
2004
89views Hardware» more  EVOTING 2004»
15 years 7 months ago
E-Voting and the Architecture of Virtual Space
: One of the basic principles of architecture is that of the relation between function and form. It is a common fact that in most cases form reveals or refers to function. Thus by ...
Anthoula Maidou, Hariton M. Polatoglou