2364 search results - page 152 / 473 » An Engine for Computing Well-Founded Models |
207
click to vote
SMA
2008
ACM
15 years 4 months ago
2008
ACM
3D mesh models are now widely available for use in various applications. The demand for automatic model analysis and understanding is ever increasing. Mesh segmentation is an impo...
134
click to vote
Publication
Finding My Needle in the Haystack: Effective Personalized Re-ranking of Search Results in Prospector
16 years 1 months ago
Abstract. This paper provides an overview of Prospector, a personalized Internet meta-search engine, which utilizes a combination of ontological information, ratings-based models o...
129
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
166
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
134
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...