7978 search results - page 313 / 1596 » Representation before computation |
173
click to vote
ENTCS
2007
15 years 6 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
182
click to vote
CAD
2005
Springer
15 years 6 months ago
2005
Springer
Three-dimensional shape searching is a problem of current interest in several different fields. Most techniques have been developed for a particular domain and reduce a shape into...
173
Voted
TOG
2008
15 years 6 months ago
2008
This paper addresses the long-standing problem of the unavoidable gaps that arise when expressing the intersection of two NURBS surfaces using conventional trimmed-NURBS represent...
188
click to vote
IMCSIT
2010
15 years 4 months ago
2010
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...
291
click to vote
ASC
2011
15 years 1 months ago
2011
Evolutionary algorithms provide flexibility and robustness required to find satisfactory solutions in complex search spaces. This is why they are successfully applied for solvin...