11797 search results - page 2160 / 2360 » Recent Developments in the Experimental |
106
Voted
TVCG
2008
15 years 20 days ago
2008
The effective visualization of vascular structures is critical for diagnosis, surgical planning as well as treatment evaluation. In recent work, we have developed an algorithm for ...
102
Voted
JSS
2007
15 years 20 days ago
2007
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
116
Voted
AAMAS
2002
Springer
15 years 19 days ago
2002
Springer
We control a population of interacting software agents. The agents have a strategy, and receive a payoff for executing that strategy. Unsuccessful agents become extinct. We investi...
105
Voted
LRE
2007
15 years 19 days ago
2007
The analysis of lectures and meetings inside smart rooms has recently attracted much interest in the literature, being the focus of international projects and technology evaluation...
111
click to vote
ASE
2002
15 years 19 days ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...