1456 search results - page 64 / 292 » An Overview of the SODA System |
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper provides an overview of the emerging wireless communication standards, end-to-end wireless streaming systems, and relevant wireless multimedia technologies. It highligh...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
MACE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
As the number of components in XML documents is much larger than that of ‘flat’ documents, we believe it is essential to provide users of XML information retrieval systems wi...
ISRR
2005
Springer
14 years 1 months ago
2005
Springer
ct This paper presents the author’s view on the main challenges for autonomous operation in surface mining environment. A brief overview of the mine operation is presented showin...