6315 search results - page 249 / 1263 » Approximating Solution Structure |
162
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
157
click to vote
RIDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Structured documents, especially the XML documents, are made up of a few logical components, such as title, sections, subsections and paragraphs. The components in each structured...
167
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
A new method of structural graph matching is introduced and compared against an existing method and against the maximum common subgraph. The method is approximate with polynomial ...
168
click to vote
ISSAC
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
160
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
Mathematical modeling of the spread of infectious diseases is a well established field with high practical importance. Underlying most analytical approaches is the assumption of ...