Sciweavers

1317 search results - page 55 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
ROBOCUP
2001
Springer
150views Robotics» more  ROBOCUP 2001»
15 years 6 months ago
CoPS-Team Description
Abstract. This paper presents the hardware and software design principles of the medium size RoboCup Team CoPS which are developed by the image understanding group at the Institute...
Reinhard Lafrenz, Michael Becht, Thorsten Buchheim...
ISORC
2009
IEEE
15 years 8 months ago
Marte CCSL to Execute East-ADL Timing Requirements
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
Frédéric Mallet, Marie-Agnès ...
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
15 years 8 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
GROUP
1999
ACM
15 years 6 months ago
Getting some perspective: using process descriptions to index document history
Process descriptions are used in workflow and related systems to describe the flow of work and organisational responsibility in business processes, and to aid in coordination. How...
Paul Dourish, Richard Bentley, Rachel Jones, Allan...
PKDD
2000
Springer
107views Data Mining» more  PKDD 2000»
15 years 5 months ago
Expert Constrained Clustering: A Symbolic Approach
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...
Fabrice Rossi, Frédérick Vautrain