Sciweavers

2193 search results - page 407 / 439
» Properties of Support Vector Machines
Sort
View
WWW
2009
ACM
16 years 16 days ago
idMesh: graph-based disambiguation of linked data
We tackle the problem of disambiguating entities on the Web. We propose a user-driven scheme where graphs of entities ? represented by globally identifiable declarative artifacts ...
Hermann de Meer, Karl Aberer, Michael Jost, Parisa...
ICRA
1995
IEEE
155views Robotics» more  ICRA 1995»
15 years 3 months ago
An Inertial Sensor for Parts Inspection
This paper describes the development of a sensor which performs parts inspection by measuring the inertial properties of the part. The sensor comprises a platform supported on a c...
S. M. Tam, K. C. Cheung
ATVA
2010
Springer
284views Hardware» more  ATVA 2010»
15 years 29 days ago
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
Ukachukwu Ndukwu, A. K. McIver
CJ
2004
77views more  CJ 2004»
14 years 11 months ago
Smart Messages: A Distributed Computing Platform for Networks of Embedded Systems
In this paper, we present the design and implementation of Smart Messages, a distributed computing platform for networks of embedded systems based on execution migration. A Smart ...
Porlin Kang, Cristian Borcea, Gang Xu, Akhilesh Sa...
SIGGRAPH
1992
ACM
15 years 3 months ago
Generative modeling: a symbolic system for geometric modeling
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
John M. Snyder, James T. Kajiya