2498 search results - page 297 / 500 » A tool for materials exploration |
171
click to vote
ISBI
2007
IEEE
16 years 29 days ago
2007
IEEE
Interpolation is a vital tool in biomedical signal processing. Although there exists a substantial literature dedicated to noise-free conditions, much less is known in the presenc...
159
click to vote
SCAM
2007
IEEE
16 years 28 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
189
click to vote
ADAPTIVE
2007
Springer
16 years 26 days ago
2007
Springer
The paper reviews the development of generic user modeling systems over the past twenty years. It describes their purposes, their services within user-adaptive systems, and the dif...
167
click to vote
DFG
2007
Springer
16 years 25 days ago
2007
Springer
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
157
click to vote
FORMATS
2007
Springer
16 years 25 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...