12015 search results - page 2175 / 2403 » Interactive Algorithms 2005 |
STTT
2008
15 years 16 days 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...
104
Voted
TC
2008
15 years 16 days 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...
110
click to vote
TEC
2008
15 years 15 days 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...
85
Voted
JASIS
2007
15 years 15 days 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...
95
Voted
TOG
2008
15 years 15 days 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...