451 search results - page 42 / 91 » Temporal Classes and OWL |
146
click to vote
ASWC
2009
Springer
14 years 10 months ago
2009
Springer
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...
122
click to vote
UAI
2004
15 years 1 months ago
2004
This paper uses Factored Latent Analysis (FLA) to learn a factorized, segmental representation for observations of tracked objects over time. Factored Latent Analysis is latent cl...
117
click to vote
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
88
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
98
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...