1285 search results - page 20 / 257 » Information systems revisited - the general continuous case |
107
click to vote
MCS
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. While a variety of multiple classifier systems have been studied since at least the late 1950's, this area came alive in the 90's with significant theoretical a...
AUTOMATICA
2008
14 years 12 months ago
2008
In this paper stabilization of nonlinear systems with quadratic multi-input is considered. With the help of control Lyapunov function (CLF), a constructive parameterization of con...
103
click to vote
ACTA
2005
14 years 11 months ago
2005
A general framework for typing graph rewriting systems is presented: the idea is to statically derive a type graph from a given graph. In contrast to the original graph, the type g...
188
click to vote
GIS
2007
ACM
16 years 26 days ago
2007
ACM
Continuous spatial queries posted within an environment of moving objects produce as their results a time-varying set of objects. In the most ambitious case both queries and data ...
POPL
2003
ACM
15 years 5 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...