3891 search results - page 280 / 779 » Toward nature-inspired computing |
192
click to vote
CALCO
2005
Springer
16 years 7 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
161
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...
173
click to vote
IJCAI
2007
15 years 8 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
168
click to vote
ACL
1993
15 years 8 months ago
1993
In this paper we present a method to group adjectives according to their meaning, as a first step towards the automatic identification of adjectival scales. We discuss the propert...
154
click to vote
CCR
2010
15 years 6 months ago
2010
Software errors and vulnerabilities in core Internet routers have led to several high-profile attacks on the Internet infrastructure and numerous outages. Building an understandin...