96 search results - page 10 / 20 » What Makes Industries Believe in Formal Methods |
118
click to vote
ATAL
2008
Springer
15 years 3 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...
121
Voted
EACL
1993
ACL Anthology
15 years 3 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...
120
Voted
IMC
2010
ACM
14 years 11 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...
98
Voted
ECIS
2003
15 years 3 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...
102
Voted
ICIP
2008
IEEE
16 years 3 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...