507 search results - page 15 / 102 » Normalization Theory for XML |
116
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Prior research has suggested that the failure rates of faults follow a log normal distribution. We propose a specific model where distributions close to a log normal arise natural...
102
click to vote
AML
2007
15 years 4 months ago
2007
A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to ...
117
click to vote
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
Auctions are pervasive in today’s society and provide a variety of real markets. This article facilitates a strategic choice between a set of available trading strategies by int...
116
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...
117
click to vote
LICS
1990
IEEE
15 years 7 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...