13841 search results - page 2425 / 2769 » Algorithms and Constraint Programming |
146
click to vote
CASC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
133
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
125
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Time series have been a major topic of interest and analysis for hundreds of years, with forecasting a central problem. A large body of analysis techniques has been developed, par...
137
click to vote
ICAPR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This contribution shows how unsupervised Markovian segmentation techniques can be accelerated when implemented on graphics hardware equipped with a Graphics Processing Un...
156
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...