Sciweavers

2517 search results - page 220 / 504
» Specifying Weak Sets
Sort
View
ICFEM
2004
Springer
15 years 12 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
JELIA
2004
Springer
15 years 12 months ago
Hierarchical Decision Making by Autonomous Agents
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
MCS
2004
Springer
15 years 12 months ago
An Empirical Comparison of Hierarchical vs. Two-Level Approaches to Multiclass Problems
The ECOC framework provides a powerful and popular method for solving multiclass problems using a multitude of binary classifiers. We had recently introduced the Binary Hierarchica...
Suju Rajan, Joydeep Ghosh
WISA
2004
Springer
15 years 12 months ago
Encrypted Watermarks and Linux Laptop Security
The most common way to implement full-disk encryption (as opposed to encrypted file systems) in the GNU/Linux operating system is using the encrypted loop device, known as CryptoL...
Markku-Juhani Olavi Saarinen
CVPR
2010
IEEE
15 years 12 months ago
Cascaded L1-norm Minimization Learning (CLML) Classifier for Human Detection
This paper proposes a new learning method, which integrates feature selection with classifier construction for human detection via solving three optimization models. Firstly, the ...
Ran Xu, Baochang Zhang, Qixiang Ye, jian bin Jiao