1856 search results - page 97 / 372 » Formal Dialectic Specification |
133
click to vote
NIPS
2008
15 years 5 months ago
2008
Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on 'incongruent events' when 'g...
122
click to vote
AOSE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
118
click to vote
JOT
2006
15 years 4 months ago
2006
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models
149
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
111
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...