1458 search results - page 167 / 292 » Extended Term Rewriting Systems |
154
click to vote
CHI
2010
ACM
16 years 28 days ago
2010
ACM
Shifts in the culture of civic engagement, technologies and practices surrounding social media, and pressure from political leaders have ignited a movement amongst gov’t agencie...
160
click to vote
ISSTA
2009
ACM
16 years 18 days ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
155
click to vote
LPAR
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
176
Voted
CBMS
2006
IEEE
16 years 4 days ago
2006
IEEE
In this era of cross-sectional imaging, it is useful to think of the neck in terms of adjacent anatomical spaces separated by fascial layers extended from the skull base to the th...
183
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...