1988 search results - page 340 / 398 » Engineering formal metatheory |
COMPSAC
2009
IEEE
14 years 1 months ago
2009
IEEE
—Recent advances in mobile handheld devices have facilitated the ubiquitous availability of location based services. Systems which provide location based services have always bee...
PKDD
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper focuses on Active Learning with a limited number of queries; in application domains such as Numerical Engineering, the size of the training set might be limite...
CAISE
2001
Springer
14 years 1 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
INAP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
ECAIW
1994
Springer
14 years 25 days ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...