639 search results - page 72 / 128 » Engineering intelligent systems on the knowledge formalizati... |
ITS
2004
Springer
14 years 2 months ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...
ICSE
1987
IEEE-ACM
14 years 7 days ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
NMR
2004
Springer
14 years 2 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...