1368 search results - page 203 / 274 » Personality-Based Practical Reasoning |
183
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
156
click to vote
DIAL
2004
IEEE
15 years 10 months ago
2004
IEEE
PDF became a very common format for exchanging printable documents. Further, it can be easily generated from the major documents formats, which make a huge number of PDF documents...
190
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
Bellare, Canetti and Krawczyk proposed a security model (BCK-model) for authentication and key exchange protocols in 1998. The model not only reasonably captures the power of pract...
166
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a practical system for vision-based traffic scene analysis from a moving vehicle based on a cognitive feedback loop which integrates real-time geometry estimati...
168
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...