4158 search results - page 435 / 832 » A Framework for Web Science |
147
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The authors present experimental and simulation results of an outcome-based learning model as it applies to the identification of emerging threats. This model integrates judgment,...
211
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
152
Voted
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
151
click to vote
ICALP
2004
Springer
16 years 5 days ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
173
click to vote
ICALP
2003
Springer
16 years 7 hour ago
2003
Springer
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...