1429 search results - page 196 / 286 » An Overview of the Annex System |
IM
2003
14 years 16 days ago
2003
: Desktop management is probably the most resource-consuming task for the typical operations and support team, regardless of being frequently overlooked as not as complex or specia...
ECIR
1998
Springer
14 years 15 days ago
1998
Springer
A new system, RAIDER (Retrieval and Annotation of Image Databases), has been developed for the management of image databases. RAIDER was designed to combat the inadequacies and in...
MM
2010
ACM
13 years 11 months ago
2010
ACM
Virtual characters are at the epicentre of Interactive Storytelling systems and in recent years multiple AI planning approaches have been described to specify their autonomous beh...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
This paper presents a complex systems overview of a power grid network under cascading conditions. The cascading effect has been simulated on three different networks, the IEEE 300...
JIIS
2008
13 years 11 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...