Sciweavers

2781 search results - page 265 / 557
» System Modules
Sort
View
188
Voted
JUCS
2007
90views more  JUCS 2007»
15 years 6 months ago
High-level Structured Interactive Programs with Registers and Voices
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefa...
AROBOTS
2008
104views more  AROBOTS 2008»
15 years 6 months ago
Modeling dynamic scenarios for local sensor-based motion planning
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...
Luis Montesano, Javier Minguez, Luis Montano
CLEF
2005
Springer
16 years 4 days ago
A Fast Forward Approach to Cross-Lingual Question Answering for English and German
This paper describes the development of a question answering system for monolingual and cross-lingual tasks for the languages English and German. We developed the question answeri...
Robert Strötgen, Thomas Mandl, René Sc...
ESOP
2010
Springer
16 years 4 months ago
Stateful Contracts for Affine Types
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
Jesse A. Tov, Riccardo Pucella
APSEC
2001
IEEE
15 years 10 months ago
Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study Approach
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
Christos Tjortjis, Paul J. Layzell