Sciweavers

7404 search results - page 530 / 1481
» New Tools in Education
Sort
View
ISBI
2006
IEEE
16 years 8 months ago
Recent development in bioluminescence tomography
: Bioluminescence tomography (BLT) is a new molecular imaging tool. Using a modality fusion approach, we built the first BLT prototype to combine BLI data and micro-CT images for p...
Ge Wang, Wenxiang Cong, Yi Li, Weimin Han, Durai K...
CADE
2009
Springer
16 years 7 months ago
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
Carsten Fuhs, Jürgen Giesl, Michael Parting, ...
GECCO
2004
Springer
16 years 17 days ago
Looking Under the EA Hood with Price's Equation
Abstract. In this paper we show how tools based on extensions of Price’s equation allow us to look inside production-level EAs to see how selection, representation, and reproduct...
Jeffrey K. Bassett, Mitchell A. Potter, Kenneth A....
SCAM
2002
IEEE
16 years 3 days ago
Grammar Programming in TXL
Syntactic analysis forms a foundation of many source analysis and reverse engineering tools. However, a single grammar is not always appropriate for all source analysis and manipu...
Thomas R. Dean, James R. Cordy, Andrew J. Malton, ...
SIGMETRICS
2010
ACM
206views Hardware» more  SIGMETRICS 2010»
16 years 10 hour ago
Successive c-optimal designs: a scalable technique to optimize the measurements on large networks
We propose a new approach to optimize the deployment and the sampling rates of network monitoring tools, such as Netflow, on a large IP network. It reduces to solving a stochasti...
Guillaume Sagnol, Mustapha Bouhtou, Stephane Gaube...