39 search results - page 6 / 8 » Uniform Support for Modeling Crosscutting Structure |
101
click to vote
COLT
2003
Springer
15 years 5 months ago
2003
Springer
Recent work has introduced Boolean kernels with which one can learn linear threshold functions over a feature space containing all conjunctions of length up to k (for any 1 ≤ k ...
113
Voted
CADE
2007
Springer
16 years 13 days ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
106
click to vote
SIMULATION
2008
15 years 1 days ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
95
Voted
HT
1998
ACM
15 years 4 months ago
1998
ACM
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...
143
Voted
CPM
2004
Springer
15 years 5 months ago
2004
Springer
We consider succinct, or highly space-efficient, representations of a (static) string consisting of n pairs of balanced parentheses, that support natural operations such as findi...