1823 search results - page 274 / 365 » Formal specification: a roadmap |
CVPR
2000
IEEE
14 years 11 months ago
2000
IEEE
Towards the goal of realizing a generic automatichuman activity recognition system, a new formalism is proposed. Activities are described by a chained hierarchical representation ...
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
ICDE
1998
IEEE
14 years 10 months ago
1998
IEEE
The association of timestamps with various data items such as tuples or attribute values is fundamental to the management of time-varying information. Using intervals in timestamp...
ICML
2006
IEEE
14 years 10 months ago
2006
IEEE
When constructing a classifier from labeled data, it is important not to assign too much weight to any single input feature, in order to increase the robustness of the classifier....
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...