Sciweavers

3134 search results - page 210 / 627
» Computing full disjunctions
Sort
View
ICTAC
2004
Springer
15 years 9 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
INLG
2004
Springer
15 years 9 months ago
Categorization of Narrative Semantics for Use in Generative Multidocument Summarization
The generative summarization of textual stories has been one of the goals of computational narratology since attempts at full semantic NLU in the ’70s. Our NLP group has recently...
David K. Elson
ISMIR
2004
Springer
156views Music» more  ISMIR 2004»
15 years 9 months ago
Digital Music Interaction Concepts: A User Study
The popularity of digital music has recently rapidly increased. The widespread use on computers and portable players and its availability through the Internet have modified the in...
Fabio Vignoli
LCPC
2004
Springer
15 years 9 months ago
Trimaran: An Infrastructure for Research in Instruction-Level Parallelism
Trimaran is an integrated compilation and performance monitoring infrastructure. The architecture space that Trimaran covers is characterized by HPL-PD, a parameterized processor a...
Lakshmi N. Chakrapani, John C. Gyllenhaal, Wen-mei...
SBIA
2004
Springer
15 years 9 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