3771 search results - page 301 / 755 » Subobject Transformation Systems |
123
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
126
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
140
click to vote
BIOCOMP
2006
15 years 5 months ago
2006
act Nowadays people are strongly dependent on cars for doing their tasks, but they usually are not aware of hazards which are awaiting them. For instance, since people travel with ...
150
click to vote
UAI
1992
15 years 5 months ago
1992
Current Bayesian net representations do not consider structure in the domain and include all variables in a homogeneous network. At any time, a human reasoner in a large domain ma...
128
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...