4008 search results - page 736 / 802 » An expressive language of signatures |
JCSS
2010
13 years 8 months ago
2010
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...
JUCS
2010
13 years 8 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
KES
2010
Springer
13 years 8 months ago
2010
Springer
While computation of biological information takes center stage in today’s research, knowledge-based query processing in biological databases has not gained much attention. The co...
MT
2010
13 years 8 months ago
2010
Translating between dissimilar languages requires an account of the use of divergent word orders when expressing the same semantic content. Reordering poses a serious problem for s...
PVLDB
2010
13 years 8 months ago
2010
We show how Recursive Markov Chains (RMCs) and their restrictions can define probabilistic distributions over XML documents, and study tractability of querying over such models. ...