6269 search results - page 224 / 1254 » Turning data into knowledge |
154
click to vote
CAISE
1995
Springer
15 years 9 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
137
click to vote
JSAT
2008
15 years 5 months ago
2008
In this article we describe and evaluate optimized compact data structures for watching literals. Experiments with our SAT solver PicoSAT show that this low-level optimization not...
156
click to vote
ECCC
2011
14 years 9 months ago
2011
The last two decades have seen enormous progress in the development of sublinear-time algorithms — i.e., algorithms that examine/reveal properties of “data” in less time tha...
143
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
In contrast to classical game theoretic analysis of simultaneous and sequential play in bimatrix games, Steven Brams has proposed an alternative framework called the Theory of Mov...
142
click to vote
PKDD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...