2215 search results - page 115 / 443 » Wide open spaces |
ETFA
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
CCCG
2009
14 years 7 months ago
2009
Motivated by the question of the polytopal realizability of the simplicial complex n,k of (k + 1)-crossing-free sets of diagonals of the convex n-gon, we study the first open case...
TOPNOC
2010
14 years 4 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
ESAW
2009
Springer
15 years 4 months ago
2009
Springer
As the number of information in the Internet constantly increases and the complexity of systems rapidly grows, locating and manipulating complex data has become a difficult task. W...
ICDM
2008
IEEE
15 years 4 months ago
2008
IEEE
Constraint-based mining has been proven to be extremely useful for supporting actionable pattern discovery. However, useful conjunctions of constraints that support domain driven ...