Sciweavers

1539 search results - page 250 / 308
» The Distributed Annotation System for Integration of Biologi...
Sort
View
124
Voted
LREC
2010
165views Education» more  LREC 2010»
15 years 5 months ago
Improving Personal Name Search in the TIGR System
This paper describes the development and evaluation of enhancements to the specialized information retrieval capabilities of a multimodal reporting system. The system enables coll...
Keith J. Miller, Sarah McLeod, Elizabeth Schroeder...
ESAW
2007
Springer
15 years 10 months ago
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
William J. Clancey, Maarten Sierhuis, Chin Seah, C...
145
Voted
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 9 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
115
Voted
RTSS
2008
IEEE
15 years 10 months ago
Merge-by-Wire: Algorithms and System Support
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
Vipul Shingde, Gurulingesh Raravi, Ashish Gudhe, P...
152
Voted
BMCBI
2007
164views more  BMCBI 2007»
15 years 3 months ago
The Personal Sequence Database: a suite of tools to create and maintain web-accessible sequence databases
Background: Large molecular sequence databases are fundamental resources for modern bioscientists. Whether for project-specific purposes or sharing data with colleagues, it is oft...
Scott A. Givan, Christopher M. Sullivan, James C. ...