Sciweavers

11808 search results - page 79 / 2362
» Isometries and Computability Structures
Sort
View
CONCUR
2009
Springer
14 years 3 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
SEMCO
2008
IEEE
14 years 3 months ago
Annotating an Extension Layer of Semantic Structure for Natural Language Text
Yulan Yan, Yutaka Matsuo, Mitsuru Ishizuka, Toshio...
CVPR
2007
IEEE
14 years 3 months ago
Local Structure Detection with Orientation-invariant Radial Configuration
Lech Szumilas, Rene Donner, Georg Langs, Allan Han...