1026 search results - page 133 / 206 » A Methodology for Equational Reasoning |
MOBIS
2008
13 years 10 months ago
2008
: Semantic technologies promise fully leveraging the content of enterprise and business process models by applying reasoning techniques to query the process space or using ontologi...
GEOINFO
2004
13 years 10 months ago
2004
Abstract: This paper presents a data model for cyclic geographic events useful for nextgeneration geographic information system design. The paper introduces a structure that captur...
ICVGIP
2004
13 years 10 months ago
2004
Recent advances in computing machines and the availability of inexpensive vision sensors have paved the way for development of real-time imaging systems. Smart systems with a sing...
IJCAI
2001
13 years 10 months ago
2001
In this paper we describe a multiagent system in which agents negotiate to allocate resources and satisfy constraints in a real-time environment of multisensor target tracking. Th...
SCS
2004
13 years 10 months ago
2004
In this paper I examine the issue of whether we can trust software systems and put forward an argument that in an absolute sense the answer must necessarily be no for a multitude ...