15660 search results - page 255 / 3132 » The Unbalance of Set Systems |
140
click to vote
SPAA
1997
ACM
15 years 11 months ago
1997
ACM
: This paper presents a network mapping algorithm and proves its correctness assuming a traffic-free network. Respecting well-defined parameters, the algorithm produces a graph iso...
220
click to vote
SSD
1993
Springer
15 years 11 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
184
Voted
ADG
2006
Springer
15 years 10 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
175
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
188
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
There is a critical need to design and develop tools tract away the fundamental complexity of XML based Web services specifications and toolkits, and provide an elegant, intuitive...