16513 search results - page 2917 / 3303 » Numerical Analysis Methods |
176
click to vote
IPSN
2004
Springer
16 years 1 days ago
2004
Springer
The performance of a sensor network may be best judged by the quality of application specific information return. The actual sensing performance of a deployed sensor network depe...
163
click to vote
ISOLA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
150
click to vote
ISSAC
2004
Springer
16 years 1 days ago
2004
Springer
Many polynomial factorization algorithms rely on Hensel lifting and factor recombination. For bivariate polynomials we show that lifting the factors up to a precision linear in th...
177
click to vote
ITS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
188
click to vote
KES
2004
Springer
16 years 1 days ago
2004
Springer
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...