Sciweavers

291 search results - page 40 / 59
» A Framework for Scheduling with Online Availability
Sort
View
FORTE
2001
13 years 8 months ago
A Family of Resource-Bound Real-Time Process Algebras
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...
DGO
2003
107views Education» more  DGO 2003»
13 years 8 months ago
Regulatory Information Management and Compliance Assistance
ct The REGNET Project aims to develop a formal information infrastructure for regulatory information management and compliance assistance. This paper discusses three components of ...
Shawn Kerrigan, Charles Heenan, Haoyi Wang, Kincho...
ELPUB
2008
ACM
13 years 9 months ago
A Semantic Web Powered Distributed Digital Library System
ResearchinHumanitiesandSocialSciencesistraditionallybasedonprintedpublicationssuchasmanuscripts, personal correspondence, first editions and other types of documents which are oft...
Michele Nucci, Michele Barbera, Christian Morbidon...
ICIP
2008
IEEE
14 years 9 months ago
Evaluation and benchmark for biological image segmentation
This paper describes ongoing work on creating a benchmarking and validation dataset for biological image segmentation. While the primary target is biological images, we believe th...
Elisa Drelie Gelasca, Jiyun Byun, Boguslaw Obara, ...
DEXAW
2006
IEEE
164views Database» more  DEXAW 2006»
13 years 9 months ago
A P2P Integration Architecture for Protein Resources
The availability of a direct pathway from a primary sequence (denovo or DNA derived) to macromolecular structure to biological function using computer-based tools is the ultimate ...
Kajal T. Claypool, Sanjay Kumar Madria