4513 search results - page 391 / 903 » Modeling with a Sense of Purpose |
177
click to vote
AROBOTS
1999
15 years 6 months ago
1999
Abstract. This article is concerned with calibrating an anthropomorphic two-armed robot equipped with a stereocamera vision system, that is estimating the different geometric relat...
179
click to vote
ENTCS
2008
15 years 5 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
194
click to vote
COR
2011
15 years 1 months ago
2011
The purpose of this paper is twofold. First, it explores the issue of producing valid, compact round-robin sports schedules by considering the problem as one of graph colouring. U...
245
click to vote
SPE
2011
15 years 1 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
198
click to vote
JIPS
2010
15 years 1 months ago
2010
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...