835 search results - page 60 / 167 » Characterizing rosy theories |
118
click to vote
FOSSACS
2011
Springer
14 years 3 months ago
2011
Springer
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
106
click to vote
TALG
2008
14 years 11 months ago
2008
A graph G is the k-leaf power of a tree T if its vertices are leaves of T such that two vertices are adjacent in G if and only if their distance in T is at most k. Then T is a k-le...
INFOCOM
2011
IEEE
14 years 3 months ago
2011
IEEE
—Anti-jamming communication without pre-shared secrets has gained increasing research interest recently and is commonly tackled by utilizing the technique of uncoordinated freque...
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
107
click to vote
CAGD
2005
14 years 11 months ago
2005
Given an m-dimensional surface in Rn , we characterize parametric curves in , which interpolate or approximate a sequence of given points pi and minimize a given energy functio...