6431 search results - page 931 / 1287 » Model Building by Resolution |
197
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
149
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
150
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
Ranking search results is a fundamental problem in information retrieval. In this paper we explore whether the use of proximity and phrase information can improve web retrieval ac...
141
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
147
click to vote
CGI
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we propose a new method that can consistently orient all normals of any mesh (if at all possible), while ensuring that most polygons are seen with their front-faces...