32607 search results - page 6177 / 6522 » Supporting |
333
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
209
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
167
click to vote
FLAIRS
2006
15 years 8 months ago
2006
This paper describes the design and execution of a roboticsthemed AI elective at a small liberal arts institution. An important goal of the course is to spark and nurture students...
208
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Incorporating semantic features from the WordNet lexical database is among one of the many approaches that have been tried to improve the predictive performance of text classifica...
263
click to vote
ICETE
2004
15 years 8 months ago
2004
ser provides abstraction for supporting flexible security policies that can be developed using the low-level primitives of the browser. We believe our browser architecture will be ...