886 search results - page 144 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
138
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Graphical models such as Bayesian Networks (BNs) are being increasingly applied to various computer vision problems. One bottleneck in using BN is that learning the BN model param...
119
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
This paper presents a probing-based method for probabilistic localization in automated robotic assembly. We consider peg-in-hole problems in which a needle-like peg has a single p...
126
click to vote
KDD
2007
ACM
16 years 1 months ago
2007
ACM
Dimension attributes in data warehouses are typically hierarchical (e.g., geographic locations in sales data, URLs in Web traffic logs). OLAP tools are used to summarize the measu...
125
click to vote
ACAL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper illustrates how the Quadratic Assignment Problem (QAP) is used as a mathematical model that helps to produce a visualization of microarray data, based on the r...
116
click to vote
KCAP
2005
ACM
15 years 7 months ago
2005
ACM
The AutoFeed system automatically extracts data from semistructured web sites. Previously, researchers have developed two types of supervised learning approaches for extracting we...