1498 search results - page 146 / 300 » Contents Oriented Space |
103
Voted
TABLEAUX
1995
Springer
15 years 4 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
92
Voted
FLAIRS
2010
15 years 3 months ago
2010
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connecte...
108
click to vote
FORTE
2007
15 years 2 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
126
click to vote
IPCV
2008
15 years 2 months ago
2008
Abstract - A robust method for symbol recognition is presented that utilizes a compact signature based on a modified Hough Transform (HT) and knowledge-based hierarchical neural ne...
95
Voted
LREC
2008
15 years 2 months ago
2008
This paper presents the results of the NEOLOGOS project: a children database and an optimized adult database for the French language. A new approach was adopted for the collection...