Sciweavers

4348 search results - page 740 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
ISMB
1998
15 years 7 months ago
Advanced Query Mechanisms for Biological Databases
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
I-Min A. Chen, Anthony Kosky, Victor M. Markowitz,...
ISBI
2008
IEEE
16 years 7 months ago
Towards digital representation of Drosophila embryogenesis
Animal development can be described as a complex, threedimensional cellular system that changes dramatically across time as a consequence of cell proliferation, differentiation an...
Stephan Preibisch, Radoslaw Ejsmont, Torsten Rohlf...
CCECE
2006
IEEE
16 years 12 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
ICRA
2005
IEEE
263views Robotics» more  ICRA 2005»
15 years 12 months ago
An Integrated Path Planning and Control Framework for Nonholonomic Unicycles
— In this paper, navigation and control of autonomous mobile unicycle robots in a complex and partially known obstacleridden environment is considered. The unicycle dynamic model...
Kaustubh Pathak, Sunil Kumar Agrawal
HICSS
2002
IEEE
89views Biometrics» more  HICSS 2002»
15 years 11 months ago
Nash Strategies for Load Serving Entities in Dynamic Energy Multi-markets
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
Jose B. Cruz Jr., Ashkan Kian