Sciweavers

1418 search results - page 155 / 284
» The Dynamic Complexity of Formal Languages
Sort
View
SIGMOD
2009
ACM
158views Database» more  SIGMOD 2009»
16 years 4 months ago
Simplifying XML schema: effortless handling of nondeterministic regular expressions
Whether beloved or despised, XML Schema is momentarily the only industrially accepted schema language for XML and is unlikely to become obsolete any time soon. Nevertheless, many ...
Geert Jan Bex, Wouter Gelade, Wim Martens, Frank N...
IANDC
2006
101views more  IANDC 2006»
15 years 4 months ago
Mind change efficient learning
This paper studies efficient learning with respect to mind changes. Our starting point is the idea that a learner that is efficient with respect to mind changes minimizes mind cha...
Wei Luo, Oliver Schulte
VL
2010
IEEE
195views Visual Languages» more  VL 2010»
15 years 3 months ago
Causal Reasoning with Neuron Diagrams
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...
Martin Erwig, Eric Walkingshaw
ANSOFT
2002
126views more  ANSOFT 2002»
15 years 4 months ago
The Real-Time Process Algebra (RTPA)
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
Yingxu Wang
132
Voted
AAAI
2006
15 years 6 months ago
Contract Enactment in Virtual Organizations: A Commitment-Based Approach
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
Yathiraj B. Udupi, Munindar P. Singh