Sciweavers

6 search results - page 1 / 2
» Wrap-Up
Sort
View
ECOOPW
1999
Springer
13 years 9 months ago
Wrap-Up
Gregor Kiczales
BMCBI
2004
111views more  BMCBI 2004»
13 years 4 months ago
The Hotdog fold: wrapping up a superfamily of thioesterases and dehydratases
Background: The Hotdog fold was initially identified in the structure of Escherichia coli FabA and subsequently in 4-hydroxybenzoyl-CoA thioesterase from Pseudomonas sp. strain CB...
Shane C. Dillon, Alex Bateman
ACL
2010
13 years 2 months ago
Wrapping up a Summary: From Representation to Generation
The main focus of this work is to investigate robust ways for generating summaries from summary representations without recurring to simple sentence extraction and aiming at more ...
Josef Steinberger, Marco Turchi, Mijail Alexandrov...
ROMAN
2007
IEEE
156views Robotics» more  ROMAN 2007»
13 years 11 months ago
Development and User Testing of the Gestural Joystick for Gloves-On Hazardous Environments
— For controlling robots in an urban search and rescue (USAR) application, we present a wearable joystick with improved sensing capability as well as Giant MagnetoResistance(GMR)...
Jaewook Bae, Amy C. Larson, Richard M. Voyles, Roy...
CAV
2007
Springer
110views Hardware» more  CAV 2007»
13 years 11 months ago
Hector: Software Model Checking with Cooperating Analysis Plugins
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
Nathaniel Charlton, Michael Huth