Sciweavers

2070 search results - page 162 / 414
» A Reduced-Basis Element Method
Sort
View
IROS
2007
IEEE
138views Robotics» more  IROS 2007»
15 years 10 months ago
Obstacle detection from IPM and super-homography
— We present in this article a simple method to estimate an IPM view from an embedded camera. The method is based on the tracking of the road markers assuming that the road is lo...
Nicolas Simond, Michel Parent
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
15 years 9 months ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick
XPU
2004
Springer
15 years 9 months ago
Roles in Agile Software Development Teams
One of the key elements in describing a software development method is the roles that are assigned to the members of the software team. This article describes our experience in ass...
Yael Dubinsky, Orit Hazzan
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 8 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
AAAI
2007
15 years 6 months ago
Computing Optimal Subsets
Various tasks in decision making and decision support require selecting a preferred subset of items from a given set of feasible items. Recent work in this area considered methods...
Maxim Binshtok, Ronen I. Brafman, Solomon Eyal Shi...