1429 search results - page 62 / 286 » An Overview of the Annex System |
ICIP
2002
IEEE
16 years 2 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...
136
Voted
CADE
2001
Springer
16 years 1 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...
142
Voted
MACE
2009
Springer
15 years 7 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...
109
Voted
SAC
2006
ACM
15 years 6 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...
92
Voted
ISRR
2005
Springer
15 years 6 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...