1188 search results - page 156 / 238 » Testing Semantics: Connecting Processes and Process Logics |
143
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
139
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Interest is growing in the application of syntactic parsers to natural language processing problems in biology, but assessing their performance is difficult because di...
160
click to vote
MICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...
126
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we propose a shot classification method for action movies. Considering that motion characteristic is very important for semantic movie analysis, and it contains abu...
149
click to vote
ICSOC
2005
Springer
15 years 9 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...