Sciweavers

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