1520 search results - page 140 / 304 » Class Hierarchy Specialization |
WG
2001
Springer
14 years 12 days 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...
ECOOP
1998
Springer
14 years 6 days 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...
TPHOL
1997
IEEE
14 years 5 days 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...
CDC
2008
IEEE
13 years 10 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 ...
NIPS
2007
13 years 9 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...