Sciweavers

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