Sciweavers

107 search results - page 10 / 22
» A Language for Configuring Multi-level Specifications
Sort
View
UML
2000
Springer
13 years 11 months ago
Towards a UML Profile for Software Architecture Descriptions
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
Mohamed Mancona Kandé, Alfred Strohmeier
AAAI
2006
13 years 9 months ago
Walk the Talk: Connecting Language, Knowledge, and Action in Route Instructions
Following verbal route instructions requires knowledge of language, space, action and perception. We present MARCO, an agent that follows free-form, natural language route instruc...
Matt MacMahon, Brian Stankiewicz, Benjamin Kuipers
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 7 months ago
Policies of System Level Pipeline Modeling
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
Edwin A. Harcourt
IEEEARES
2007
IEEE
14 years 2 months ago
CSP-Based Firewall Rule Set Diagnosis using Security Policies
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
ICPR
2008
IEEE
14 years 2 months ago
Improvements in hidden Markov model based Arabic OCR
This paper describes recent advances in hidden Markov model (HMM) based OCR for machine-printed Arabic documents. A combination of scriptindependent and script-specific techniques...
Rohit Prasad, Shirin Saleem, Matin Kamali, Ralf Me...