11151 search results - page 282 / 2231 » On the Complexity of Model Expansion |
190
click to vote
CLIMA
2008
15 years 8 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...
192
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
to appear in Proc. IEEE International Conference on Computer Vision (ICCV), 2005 Bayesian methods have been extensively used in various applications. However, there are two intrin...
360
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
Mediator-based data integration systems resolve exploratory queries by joining data elements across sources. In the presence of uncertainties, such multiple expansions can quickly ...
189
click to vote
DCC
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper presents a low rate progressive 3D mesh compression scheme for simple genuszero 3D objects. The proposed scheme is based on signal representation using redundant expans...
236
click to vote
DSRT
2005
IEEE
16 years 29 days ago
2005
IEEE
The Extensible Battle Management Language project has implemented XML based data mediation services to translate from legacy XML schemas into XML schemas, based on a common tag se...