2702 search results - page 124 / 541 » Practically Applicable Formal Methods |
111
click to vote
CTW
2006
15 years 2 months ago
2006
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
125
click to vote
ICLP
2010
Springer
15 years 6 months 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 ...
101
Voted
IJCAI
2003
15 years 3 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...
99
Voted
IJISEC
2010
14 years 11 months ago
2010
Abstract Since the concept of private information retrieval (PIR) was first formalized by Chor et. al, various constructions have been proposed with a common goal of reducing commu...
118
click to vote
ICFCA
2009
Springer
15 years 9 months ago
2009
Springer
Formal concept analysis (FCA) is increasingly applied to data mining problems, essentially as a formal framework for mining reduced representations (bases) of target pattern famili...