Sciweavers

713 search results - page 107 / 143
» Static and Dynamic Semantics of the Web
Sort
View
EKAW
2008
Springer
14 years 11 months ago
A Generic Ontology for Collaborative Ontology-Development Workflows
As knowledge engineering moves to the Semantic Web, ontologies become dynamic products of collaborative development rather than artifacts produced in a closed environment of a sing...
Abraham Sebastian, Natalya Fridman Noy, Tania Tudo...
ICFP
2004
ACM
15 years 10 months ago
A sound (and complete) model of contracts
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...
Matthias Blume, David A. McAllester
MM
2004
ACM
109views Multimedia» more  MM 2004»
15 years 3 months ago
Reading movies: an integrated DVD player for browsing movies and their scripts
We have built over the last few years an integrated browser and query interface for watching a movie synchronized with its script. The system is demonstrated with the movie ’The...
Rémi Ronfard
COLING
2010
14 years 5 months ago
LTP: A Chinese Language Technology Platform
LTP (Language Technology Platform) is an integrated Chinese processing platform which includes a suite of high performance natural language processing (NLP) modules and relevant c...
Wanxiang Che, Zhenghua Li, Ting Liu
WWW
2004
ACM
15 years 10 months ago
Service Model for Collaborating Distributed Design and Manufacturing
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
Moon-Jung Chung, Woongsup Kim, Ravi Gopalan, Hong ...