Sciweavers

11 search results - page 1 / 3
» aicom 2006
Sort
View
100
Voted
AICOM
2006
55views more  AICOM 2006»
15 years 3 months ago
Automatic ontology generation from Web tabular structures
Aleksander Pivk
103
Voted
AICOM
2006
48views more  AICOM 2006»
15 years 3 months ago
The CADE-20 Automated Theorem Proving Competition
Geoff Sutcliffe
105
Voted
AICOM
2006
74views more  AICOM 2006»
15 years 3 months ago
The state of CASC
Geoff Sutcliffe, Christian B. Suttner
97
Voted
AICOM
2006
70views more  AICOM 2006»
15 years 3 months ago
Tools for modeling and solving search problems
Deborah East, Mikhail Iakhiaev, Artur Mikitiuk, Mi...