Sciweavers

11063 search results - page 222 / 2213
» On the existence of universal models
Sort
View
ICALP
2005
Springer
16 years 3 days ago
Orthogonal Extensions in Structural Operational Semantics
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...
Mohammad Reza Mousavi, Michel A. Reniers
ECAI
2004
Springer
15 years 12 months ago
An Active, Ontology-driven Network Service for Internet Collaboration
: Web portals have emerged as an important means of collaboration on the WWW, and the integration of ontologies promises to make them more accurate in how they serve users’ colla...
David Lewis, Kevin Feeney, Thanassis Tiropanis, Si...
SBIA
2004
Springer
15 years 12 months ago
An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary Results
This paper presents an overview of current work on the recognition of sign language and a prototype of a simple editor for a small subset of the Brazilian Sign Language, LIBRAS. Ha...
Hemerson Pistori, João José Neto
ICDAR
2003
IEEE
15 years 12 months ago
Mathematical Formulas Extraction
As a universal technical language, mathematics has been widely applied in many fields, and it is more accurate than any other languages in describing information. Therefore, numer...
Jianming Jin, Xionghu Han, Qingren Wang
ELPUB
2003
ACM
15 years 12 months ago
Electronic Publishing of ADB Editions
Arquivo Distrital de Braga (ADB), the second largest Portuguese Archive, owns thousands of important master pieces, published according to merely typographic techniques. For the g...
José Carlos Ramalho, José Luis Santo...