96 search results - page 10 / 20 » What Makes Industries Believe in Formal Methods |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
EACL
1993
ACL Anthology
13 years 9 months ago
1993
ACL Anthology
In this paper, we describe a method for structural noun phrase disambiguation which mainly relies on the examination of the text corpus under analysis and doesn't need to int...
IMC
2010
ACM
13 years 5 months ago
2010
ACM
An Internet hitlist is a set of addresses that cover and can represent the the Internet as a whole. Hitlists have long been used in studies of Internet topology, reachability, and...
ECIS
2003
13 years 9 months ago
2003
This paper claims that in its current use the term ‘network’ represents no more than a suggestive image of organizing in an age of spectacular context-crossing electronic tran...
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper describes ongoing work on creating a benchmarking and validation dataset for biological image segmentation. While the primary target is biological images, we believe th...