16513 search results - page 2917 / 3303 » Numerical Analysis Methods |
138
click to vote
IPSN
2004
Springer
15 years 10 months 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...
136
Voted
ISOLA
2004
Springer
15 years 10 months 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...
125
Voted
ISSAC
2004
Springer
15 years 10 months 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...
147
click to vote
ITS
2004
Springer
15 years 10 months 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...
152
click to vote
KES
2004
Springer
15 years 10 months 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...