6167 search results - page 253 / 1234 » Can Refinement be Automated |
128
click to vote
NAR
2006
15 years 6 months ago
2006
The increasing availability of structurally aligned protein families has made it possible to use statistical methods to discover regions of interpositional dependenciesof residue ...
175
click to vote
IJSEKE
2002
15 years 5 months ago
2002
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification...
187
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
The aim of this paper is to study how preferences, which are used to model intrinsic strengths of arguments, can be used in argumentation. We show that they play two roles: i) to r...
150
click to vote
WINE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...
163
click to vote
GI
2009
Springer
15 years 3 months ago
2009
Springer
: The ubiquity and personalization of mobile phones makes them a promising platform for advertising. Currently, practices known from online advertisement can be adapted, e.g. conte...