307 search results - page 54 / 62 » On Hierarchical Reasoning in Combinations of Theories |
111
Voted
NN
2000
Springer
15 years 1 months ago
2000
Springer
A fundamental problem in neural network research, as well as in many other disciplines, is finding a suitable representation of multivariate data, i.e. random vectors. For reasons...
114
click to vote
JLP
2010
14 years 8 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
150
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
101
click to vote
CICLING
2003
Springer
15 years 7 months ago
2003
Springer
A new sort of generative grammar (Sec2) will be demonstrated which is more radically “lexicalist” than any earlier one (Sec1). It is a modified Unification Categorial Gramma...
115
click to vote
DAC
2011
ACM
14 years 1 months ago
2011
ACM
Technology scaling allows the integration of billions of transistors on the same die but CAD tools struggle in keeping up with the increasing design complexity. Design productivit...