2702 search results - page 320 / 541 » Practically Applicable Formal Methods |
133
Voted
IJCSA
2007
15 years 2 months ago
2007
This paper studies the design and application of the neural network based adaptive control scheme for autonomous underwater vehicle's (AUV's) depth control system that i...
125
Voted
SMA
2008
ACM
15 years 2 months ago
2008
ACM
Improving the quality of tetrahedral meshes is an important operation in many scientific computing applications. Meshes with badly shaped elements impact both the accuracy and con...
122
Voted
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
135
Voted
OSDI
1996
ACM
15 years 4 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
133
Voted
IJCAI
1989
15 years 3 months ago
1989
The acceptability and effectiveness of an expert system is critically dependent on its user interface. Natural language could be a well-suited communicative medium; however, curre...