Sciweavers

3760 search results - page 470 / 752
» Logic-Based Probabilistic Modeling
Sort
View
ASPDAC
2004
ACM
114views Hardware» more  ASPDAC 2004»
15 years 10 months ago
Layer assignment for crosstalk risk minimization
— In ultra-deep submicron technology, crosstalk noise is so severe that crosstalk avoidance merely in detailed routing is not adequate and it has to be considered in earlier desi...
Di Wu, Jiang Hu, Rabi N. Mahapatra, Min Zhao
CONCUR
2004
Springer
15 years 10 months ago
Modular Construction of Modal Logics
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
Corina Cîrstea, Dirk Pattinson
ICRA
2002
IEEE
104views Robotics» more  ICRA 2002»
15 years 9 months ago
Characterization of a 2-D Laser Scanner for Mobile Robot Obstacle Negotiation
This paper presents a characterization study of the Sick LMS 200 laser scanner. A number of parameters, such as operation time, data transfer rate, target surface properties, as w...
Cang Ye, Johann Borenstein
GECCO
2009
Springer
117views Optimization» more  GECCO 2009»
15 years 9 months ago
BBOB-benchmarking a simple estimation of distribution algorithm with cauchy distribution
The restarted estimation of distribution algorithm (EDA) with Cauchy distribution as the probabilistic model is tested on the BBOB 2009 testbed. These tests prove that when using ...
Petr Posik
NLPRS
2001
Springer
15 years 9 months ago
Linguistic Techniques to Improve the Performance of Automatic Text Categorization
This paper presents a method for incorporating natural language processing into existing text categorization procedures. Three aspects are considered in the investigation: (i) a m...
Akiko N. Aizawa