10159 search results - page 587 / 2032 » System Design Validation Using Formal Models |
164
Voted
AI
2002
Springer
15 years 6 months ago
2002
Springer
Recently, two advances in agent-oriented software engineering have had a significant impact: the identification of interaction and coordination as the central focus of multi-agent ...
167
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Safety is a critical characteristic for robots designed to operate in human environments. This paper presents the concept of hybrid actuation for the development of hum...
209
click to vote
AC
2002
Springer
15 years 6 months ago
2002
Springer
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
189
click to vote
WSC
2008
15 years 9 months ago
2008
This research endeavor focused on the warehouse receiving process at a large food distribution center, which comprises of trucks with goods reaching the destination warehouse, unl...
168
click to vote
LRE
2010
15 years 5 months ago
2010
In this paper the transcription and evaluation of the corpus DIMEx100 for Mexican Spanish is presented. First we describe the corpus and explain the linguistic and computational mo...