886 search results - page 136 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
104
click to vote
MM
2005
ACM
15 years 7 months ago
2005
ACM
Labeling faces in news video with their names is an interesting research problem which was previously solved using supervised methods that demand significant user efforts on lab...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
123
click to vote
AAAI
2011
14 years 1 months ago
2011
A common approach in machine learning is to use a large amount of labeled data to train a model. Usually this model can then only be used to classify data in the same feature spac...
MICCAI
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. Accurate patient registration and referencing is a key element in navigated surgery. Unfortunately all existing methods are either invasive or very time consuming. In thi...
BNCOD
1997
15 years 2 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...