3013 search results - page 39 / 603 » Context-Oriented Domain Analysis |
MOC
2000
15 years 9 days ago
2000
In this paper, the global superconvergence is analysed on two schemes (a mixed finite element scheme and a finite element scheme) for Maxwell's equations in R3. Such a superco...
122
click to vote
SAC
2006
ACM
15 years 13 days ago
2006
ACM
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
88
Voted
AIPS
2007
15 years 2 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
78
Voted
SAS
2004
Springer
15 years 5 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...
110
Voted
BALT
2010
14 years 7 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...