3145 search results - page 353 / 629 » Algebraic Linear Orderings |
162
click to vote
FASE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...
156
click to vote
PKDD
2007
Springer
16 years 21 days ago
2007
Springer
Most knowledge discovery processes are biased since some part of the knowledge structure must be given before extraction. We propose a framework that avoids this bias by supporting...
183
click to vote
COMPGEOM
2006
ACM
16 years 17 days ago
2006
ACM
This paper examines the computation of the Voronoi diagram of a set of ellipses in the Euclidean plane. We propose the first complete algorithms, under the exact computation para...
167
click to vote
ICCAD
2005
IEEE
16 years 6 days ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
217
click to vote
DALT
2005
Springer
16 years 3 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...