333 search results - page 35 / 67 » Automated Adaptive Forming Simulations |
109
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
117
click to vote
SACMAT
2004
ACM
15 years 7 months ago
2004
ACM
In the era of Ubiquitous Computing and world–wide data transfer mobility, as an innovative aspect of professional activities, imposes new and complex problems of mobile and dist...
110
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...
109
click to vote
ISCAS
2003
IEEE
15 years 7 months ago
2003
IEEE
An increasing number of university lectures and a vast majority of company presentations are being digitally archived for redistribution today. Most of these presentations take th...
118
click to vote
JUCS
2006
15 years 1 months ago
2006
: To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population a...