12015 search results - page 2175 / 2403 » Interactive Algorithms 2005 |
101
Voted
STTT
2008
15 years 2 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
118
click to vote
TC
2008
15 years 2 months ago
2008
Next-generation scientific applications require the capability to visualize large archival data sets or on-going computer simulations of physical and other phenomena over wide-area...
123
click to vote
TEC
2008
15 years 2 months ago
2008
Abstract-- This article describes the Candidate Design Environment we developed for efficient identification of promising drug candidates. Developing effective drugs from active mo...
101
click to vote
JASIS
2007
15 years 2 months ago
2007
We present an approach to enhancing information access through web structure mining in contrast to traditional approaches involving usage mining. Specifically, we mine the hardwi...
116
click to vote
TOG
2008
15 years 2 months ago
2008
In this paper, we introduce a system to virtually restore damaged or historically significant objects without needing to physically change the object in any way. Our work addresse...