8766 search results - page 1281 / 1754 » Functional logic programming |
132
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
Incremental changes add new functionality and properties to software. They are the core of software evolution, maintenance, iterative development, agile development, and similar s...
132
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
116
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
Many surfaces can be modeled by interpolating data points digitized from existing products. But the digitized data points could have measuring errors. To adjust the points, fairing...
138
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
150
click to vote
FOCS
1992
IEEE
15 years 9 months ago
1992
IEEE
We describe dynamic data structures for half-space range reporting and for maintaining the minima of a decomposable function. Using these data structures, we obtain efficient dyna...