4061 search results - page 380 / 813 » Framework Evolution Tool |
159
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
: 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...
167
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
Performance Trees are a unifying framework for the specification of performance queries involving measures and requirements. This paper describes an evaluation environment for Pe...
158
click to vote
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—Co-located collaboration in classroom is the topic we tackle in this paper. We present COFFEE a tailorable collaborative environment that is designed for interactive, colocated ...
171
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
171
click to vote
MKM
2005
Springer
16 years 10 days ago
2005
Springer
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...