English (en-US)knowledge base
-
Collaborativo e assistito COSAS Generazione e gestioneMente aperta spazio innovativo, la conoscenza mineraria, la conoscenza indicizzazione, la conoscenza ragionamento, elaborazione del linguaggio naturale, dal linguaggio naturale a ontologia, il ...656 Accessi Voto
-
OSIM flyer ITAOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning455 Accessi Voto
-
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 Accessi Voto
-
OSIM volantino ENGMente aperta spazio innovativo, la conoscenza mineraria, la conoscenza indicizzazione, la conoscenza ragionamento, elaborazione del linguaggio naturale, dal linguaggio naturale a ontologia, il ...943 Accessi Voto
-
OSIM, white paper ITAMente aperta spazio innovativo, la conoscenza mineraria, la conoscenza indicizzazione, la conoscenza ragionamento, elaborazione del linguaggio naturale, dal linguaggio naturale a ontologia, il ...669 Accessi Voto
-
Da Open Data a Ontologia, l'esempio del SII -MobilityDa Open Data a Ontologia, l'esempio del SII -Mobility868 Accessi Voto
-
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 Accessi Voto
-
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 Accessi Voto
-
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 Accessi Voto
-
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 Accessi Voto
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 = 1745617303 WHERE sid = 'c321715a52cbdad35de6df39747f93da' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128