4708 search results - page 98 / 942 » Generating the Structure of Argument |
119
click to vote
JOLLI
2002
15 years 4 months ago
2002
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
126
Voted
SYNTHESE
2010
15 years 3 months ago
2010
Recent work in the philosophy of science has generated an apparent conflict between theories attempting to explicate the nature of scientific representation. On one side, there are...
216
click to vote
CTRSA
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
109
click to vote
EI
1998
15 years 6 months ago
1998
Error-diffusion is widely used to generate intensity levels between the primary levels of multi-level colour printing devices (ink-jet printers, electrophotographic printers). Sta...
135
click to vote
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...