3335 search results - page 357 / 667 » A Unified Approach to Modeling and Programming |
191
click to vote
SI3D
2003
ACM
15 years 12 months ago
2003
ACM
We present a new algorithm for best-effort simplification of polygonal meshes based on principles of visual perception. Building on previous work, we use a simple model of low-lev...
218
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Multiple-dimensional, i.e., polyadic, data exist in many applications, such as personalized recommendation and multipledimensional data summarization. Analyzing all the dimensions...
171
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
183
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...
175
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...