72 search results - page 9 / 15 » A Uniform Approach to Inter-model Transformations |
131
Voted
TSP
2008
15 years 3 months ago
2008
We propose a new two-stage approach to estimate the nominal angles of arrival (AoAs) and the angular spreads (ASs) of multiple locally scattered sources using a uniform linear arra...
126
Voted
DGO
2010
15 years 5 months ago
2010
We address the problem of publishing parliamentary proceedings in a digital sustainable manner. We give an extensive requirements analysis, and based on that propose a uniform XML...
133
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
112
Voted
IJCAI
1989
15 years 4 months ago
1989
A homogeneous paradigm for evidence integration is presented, and a vision system to recognize 3D objects is demonstrated using this paradigm. A new concept called generalizedfeat...
139
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...