2951 search results - page 529 / 591 » Trustable Task Processing Systems |
106
click to vote
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
93
Voted
KDD
1994
ACM
15 years 6 months ago
1994
ACM
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
137
Voted
SIGGRAPH
1989
ACM
15 years 6 months ago
1989
ACM
This paper presents a hybrid approach to the animation of human locomotion which combines goal-directed and dynamic motion control. Knowledge about a locomotion cycle is incorpora...
104
Voted
APGV
2007
ACM
15 years 6 months ago
2007
ACM
3D models are subject to a wide variety of processing operations such as compression, simplification or watermarking, which introduce slight geometric modifications on the shape. ...
131
Voted
BIBE
2004
IEEE
15 years 6 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...