7366 search results - page 1029 / 1474 » Development of the Information Systems Implementation Resear... |
196
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Design of protein structure comparison algorithm is an important research issue, having far reaching implications. In this article, we describe a protein structure com...
296
click to vote
VLDB
2002
ACM
16 years 7 months ago
2002
ACM
Abstract This paper describes the overall design and architecture of the Timber XML database system currently being implemented at the University of Michigan. The system is based u...
174
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Simulations of particles in fluid flows are of great interest to numerous industries using sedimentation, fluidization, lubricated transport, and hydraulic fracturing of hydrocarb...
204
click to vote
TII
2010
15 years 1 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
211
click to vote
TIP
2010
15 years 1 months ago
2010
Abstract-- Due to the novel fluid optics, unique image processing challenges are presented by the fluidic lens camera system. Developed for surgical applications, unique properties...