3013 search results - page 224 / 603 » Context-Oriented Domain Analysis |
163
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
148
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
Geographically embedded processes with hidden origins are often observable in events they generate. It is common practice in criminological forensics to reverse simple equation-ba...
179
click to vote
3DPVT
2006
IEEE
16 years 19 days ago
2006
IEEE
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...
134
click to vote
DAC
2006
ACM
16 years 16 days ago
2006
ACM
With the advent of carbon nanotube technology, evaluating circuit and system performance using these devices is becoming extremely important. In this paper, we propose a quasi-ana...
176
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
In Genetic algorithms it is not easy to evaluate the confidence level in whether a GA run may have missed a complete area of good points, and whether the global optimum was found....