1688 search results - page 168 / 338 » The Complexity of Rationalizing Matchings |
148
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
Many systems require data transformation – the conversion of complex data from one format to another. Most current approaches require programming, scripting bstract visual speci...
192
click to vote
3DIM
1999
IEEE
15 years 10 months ago
1999
IEEE
Modeling of 3D objects from image sequences is a challenging problem and has been a research topic for many years. Important theoretical and algorithmic results were achieved that...
153
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
147
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
We extend the propositional dynamic logic PDL of Fischer and Ladner with a restricted kind of recursive programs using the formalism of visibly pushdown automata (Alur, Madhusudan...
160
click to vote
CLUSTER
2001
IEEE
15 years 9 months ago
2001
IEEE
In this paper, we revisit the master-slave tasking paradigm in the context of heterogeneous processors. We assume that communications take place in exclusive mode. We present a po...