1397 search results - page 62 / 280 » On the Need for Practical Formal Methods |
ACL
1998
13 years 10 months ago
1998
In this paper we present the results of the combination of stochastic and rule-based disambiguation methods applied to Basque languagel. The methods we have used in disambiguation...
ADT
2010
13 years 9 months ago
2010
: In the era of mobile and wireless networks, the growing complexity of end devices and the accentuated tendency towards miniaturization of them raise new security challenges. Auth...
ICLP
2010
Springer
14 years 26 days ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
IJCAI
2003
13 years 10 months ago
2003
Preference elicitation is a serious bottleneck in many decision support applications and agent specification tasks. CP-nets were designed to make the preference elicitation proces...
BIBE
2006
IEEE
14 years 3 months ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...