7557 search results - page 1366 / 1512 » Modeling Timed Concurrent Systems |
159
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
Computational science is placing new demands on optimization algorithms as the size of data sets and the computational complexity of scientific models continue to increase. As thes...
162
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...
145
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: In order to maintain the most comprehensive structural annotation databases we must carry out regular updates for each proteome using the latest profile-profile fold r...
158
click to vote
IJVR
2006
15 years 4 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...
155
click to vote
PRESENCE
2000
15 years 4 months ago
2000
The Virtual Explorer project of the Senses Bureau at the University of California, San Diego, focuses on creating immersive, highly interactive environments for education and scie...