Italiano (it)knowledge base
-
Collaborative and Assisted SKOS Generation and ManagementOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning656 Hits Rating
-
OSIM flyer ITAOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning455 Hits Rating
-
Le tecnologie del web semantico a servizio della imprese per la gestione della conoscenzaOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning619 Hits Rating
-
OSIM flyer ENGOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning943 Hits Rating
-
OSIM, white paper ITAOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning669 Hits Rating
-
From Open Data to Ontology, the example of Sii-MobilityFrom Open Data to Ontology, the example of Sii-Mobility868 Hits Rating
-
Comments on Comments on An Interval Logic for Real-Time System SpecificatioTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Abstract—The paper on Comments on “An Interval ...473 Hits Rating
-
Expressing and Organizing Specification Patterns with TILCO-XTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines347 Hits Rating
-
Expressing and Organizing Real Time Specification Patterns via Temporal LogicsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Formal specification models provide support for ...493 Hits Rating
-
An Interval Logic for RealTime System SpecificationTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines446 Hits Rating
Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1745616738 WHERE sid = '07f1de48c148bea774f538e4f5b76725' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128