2797 search results - page 334 / 560 » Code query by example |
129
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
136
click to vote
MIRAGE
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we propose a novel framework for 3D object categorization. The object is modeled it in terms of its sub-parts as an histogram of 3D visual word occurrences. We introd...
112
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
120
click to vote
CSMR
2008
IEEE
15 years 10 months ago
2008
IEEE
Design anomalies, introduced during software evolution, are frequent causes of low maintainability and low flexibility to future changes. Because of the required knowledge, an im...
126
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Transaction Level Modeling (TLM) is an emerging design practice for overcoming increasing design complexity. It aims at simplifying the design flow of embedded systems ning and v...