2108 search results - page 198 / 422 » An Operational Semantics for Stateflow |
186
click to vote
HASKELL
2006
ACM
16 years 13 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
168
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Ontologies such as taxonomies, product catalogs or web directories are heavily used and hence evolve frequently to meet new requirements or to better reflect the current instance d...
154
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
Colonoscopy is an important screening tool for colorectal cancer. During a colonoscopic procedure, a tiny video camera at the tip of the endoscope generates a video signal of the ...
164
click to vote
DEXAW
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper presents a model of a nomadic middleware system with support for temporal consistency of structures semantically associated to XML-documents. Specially defined high-lev...
166
click to vote
CAISE
2005
Springer
16 years 21 hour ago
2005
Springer
We introduce a Semantic Web-based competence manager system called Competence Manager, which allows managing employee competencies and other relevant resources about a set of topic...