5592 search results - page 866 / 1119 » On Random Betweenness Constraints |
186
click to vote
AGILE
2009
Springer
2009
Springer
Enhancing 3D City Models with Heterogeneous Spatial Information: Towards 3D Land Information Systems
16 years 1 months ago
Spatial and georeferenced information plays an important role in urban land management processes such as spatial planning and environmental management. As many of the processes ar...
166
click to vote
COCOON
2009
Springer
16 years 1 months ago
2009
Springer
A graph class is sandwich monotone if, for every pair of its graphs G1 = (V, E1) and G2 = (V, E2) with E1 ⊂ E2, there is an ordering e1, . . . , ek of the edges in E2 \ E1 such ...
161
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
179
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
178
click to vote
IH
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper estimates the minimal length of a binary probabilistic traitor tracing code. We consider the code construction proposed by G. Tardos in 2003, with the symmetri...