Sciweavers

1860 search results - page 99 / 372
» Structured Multimedia Authoring
Sort
View
CNL
2009
15 years 5 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan...
DM
2010
99views more  DM 2010»
15 years 4 months ago
Posets, homomorphisms and homogeneity
Jarik Nesetril suggested to the first author the investigation of notions of homogeneity for relational structures, where "isomorphism" is replaced by "homomorphism...
Peter J. Cameron, Deborah C. Lockett
ELPUB
1998
ACM
15 years 9 months ago
Towards an Information-Rich Society? Or an Information-Overloaded One? (Is the Media Becoming More Important Than the Message?)
The rapid growth in all forms of electronic publishing is creating many new problems – both technical and socio-economic. This paper examines some of these from three different ...
T. M. R. Ellis
MM
2010
ACM
183views Multimedia» more  MM 2010»
15 years 4 months ago
MediaPick: tangible semantic media retrieval system
This paper addresses the design and development of MediaPick [1], an interactive multi-touch system for semantic search of multimedia contents. Our solution provides an intuitive,...
Gianpaolo D'Amico, Andrea Ferracani, Lea Landucci,...
119
Voted
ICMCS
2007
IEEE
107views Multimedia» more  ICMCS 2007»
15 years 11 months ago
Finding Image Structure by Hierarchal Segmentation
Image segmentation has been studied for many years. But what factors influence segmentation results indeed? Why some images are easy to be handled while the others are not? In thi...
Bo Qiu, Daniel Racoceanu