Sciweavers

9071 search results - page 1776 / 1815
» A co-design modeling approach for computer network systems
Sort
View
ESOP
2007
Springer
15 years 3 months ago
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
Maria Grazia Buscemi, Ugo Montanari
FROCOS
2007
Springer
15 years 3 months ago
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
Beatriz Alarcón, Salvador Lucas
ICRA
2006
IEEE
159views Robotics» more  ICRA 2006»
15 years 3 months ago
A Visual Compass based on SLAM
— Accurate full 3 axis orientation is computed using a low cost calibrated camera. We present a simultaneous sensor location and mapping method that uses a purely rotating camera...
J. M. M. Montiel, Andrew J. Davison
78
Voted
CSB
2005
IEEE
161views Bioinformatics» more  CSB 2005»
15 years 3 months ago
Data Integration in the Mouse Genome Informatics (MGI) Database
The Mouse Genome Informatics (MGI) Database at The Jackson Laboratory provides a comprehensive public resource about the laboratory mouse. MGI curated data types include gene repr...
Donnie Qi, Judith A. Blake, James A. Kadin, Joel E...
ISPD
2005
ACM
239views Hardware» more  ISPD 2005»
15 years 3 months ago
Mapping algorithm for large-scale field programmable analog array
Modern advances in reconfigurable analog technologies are allowing field-programmable analog arrays (FPAAs) to dramatically grow in size, flexibility, and usefulness. With thes...
I. Faik Baskaya, Sasank Reddy, Sung Kyu Lim, Tyson...
« Prev « First page 1776 / 1815 Last » Next »