525 search results - page 54 / 105 » Using Checkable Types in Automatic Protocol Analysis |
IV
2009
IEEE
14 years 3 months ago
2009
IEEE
A lexical network is a very useful resource for natural language processing systems. However, building high quality lexical networks is a complex task. “Jeux de mots” is a web...
IJDAR
2006
13 years 9 months ago
2006
Structure analysis of table form documents is an important issue because a printed document and even an electronic document do not provide logical structural information but merely...
TIFS
2010
13 years 7 months ago
2010
—This paper addresses a forensic tool used to assess audio authenticity. The proposed method is based on detecting phase discontinuity of the power grid signal; this signal, refe...
HPCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
ARGMAS
2007
Springer
14 years 1 months ago
2007
Springer
Interest-based negotiation (IBN) is a form of negotiation in which agents exchange information about their underlying goals, with a view to improving the likelihood and quality of ...