1458 search results - page 229 / 292 » Extended Term Rewriting Systems |
166
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
A moving region whose location and extend change over time can imply topological changes such as region split and hole formation. To study this phenomenon is useful in many applic...
138
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
160
click to vote
POPL
2012
ACM
14 years 2 days ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
155
click to vote
GI
2005
Springer
15 years 10 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
154
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
We consider the problem of learning to rank relevant and novel documents so as to directly maximize a performance metric called Expected Global Utility (EGU), which has several de...