3053 search results - page 588 / 611 » Structured Objects: Modeling and Reasoning |
161
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
115
click to vote
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...
139
click to vote
CGF
2010
15 years 3 months ago
2010
This paper considers the problem of interactively finding the cutting contour to extract components from a given mesh. Some existing methods support cuts of arbitrary shape but re...
163
click to vote
JOC
2007
15 years 3 months ago
2007
In the security chain the weakest link is definitely the human one: human beings cannot remember long secrets and often resort to rather insecure solutions to keep track of their ...
160
Voted
SIAMCO
2011
14 years 10 months ago
2011
The choice of admissible trading strategies in mathematical modelling of financial markets is a delicate issue, going back to Harrison and Kreps [HK79]. In the context of optimal...