1520 search results - page 140 / 304 » Class Hierarchy Specialization |
160
Voted
WG
2001
Springer
15 years 10 months ago
2001
Springer
We consider an edge-isoperimetric problem (EIP) on the cartesian powers of graphs. One of our objectives is to extend the list of graphs for whose cartesian powers the lexicograph...
161
Voted
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
165
click to vote
TPHOL
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
132
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we consider a special class of integral delay systems arising in several stability problems of time-delay systems. For these integral systems we derive stability and ...
155
click to vote
NIPS
2007
15 years 7 months ago
2007
We provide a provably efficient algorithm for learning Markov Decision Processes (MDPs) with continuous state and action spaces in the online setting. Specifically, we take a mo...