1699 search results - page 44 / 340 » A timed semantics of Orc |
183
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
156
click to vote
ICDM
2007
IEEE
16 years 10 days ago
2007
IEEE
ASALSAN is a new algorithm for computing three-way DEDICOM, which is a linear algebra model for analyzing intrinsically asymmetric relationships, such as trade among nations or th...
163
click to vote
TSD
1999
Springer
15 years 10 months ago
1999
Springer
Automatic lipreading is automatic speech recognition that uses only visual information. The relevant data in a video signal is isolated and features are extracted from it. From a s...
171
click to vote
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
151
Voted
ISEMANTICS
2010
15 years 7 months ago
2010
Abstract. SIOC provides the Semantic Web with a vocabulary for representing the state of online communities at a given time. However, a number of web application put a strong empha...