Sciweavers

210 search results - page 16 / 42
» Positionalism of Relations and Its Consequences for Fact-Ori...
Sort
View
NDJFL
2002
74views more  NDJFL 2002»
13 years 8 months ago
The Semantics of Entailment Omega
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Y...
BMCBI
2010
121views more  BMCBI 2010»
13 years 3 months ago
G-stack modulated probe intensities on expression arrays - sequence corrections and signal calibration
Background: The brightness of the probe spots on expression microarrays intends to measure the abundance of specific mRNA targets. Probes with runs of at least three guanines (G) ...
Mario Fasold, Peter F. Stadler, Hans Binder
ICIP
2005
IEEE
14 years 10 months ago
Generalized Histogram Intersection Kernel for Image Recognition
Histogram Intersection (HI) kernel has been recently introduced for image recognition tasks. The HI kernel is proved to be positive definite and thus can be used in Support Vector ...
Sabri Boughorbel, Jean-Philippe Tarel and Nozha Bo...
ICRA
2006
IEEE
106views Robotics» more  ICRA 2006»
14 years 2 months ago
An Improved Method for the Geometrical Calibration of Parallelogram-based Parallel Robots
: This paper presents an improved method for the geometrical calibration of parallel robots for which the structure is based upon some parallelogram mechanisms. Its originality is ...
Ludovic Savoure, Patrick Maurine, David Corbel, S&...
ISF
2008
114views more  ISF 2008»
13 years 8 months ago
An OVAL-based active vulnerability assessment system for enterprise computer networks
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...
Xiuzhen Chen, Qinghua Zheng, Xiaohong Guan