English (en-US)cognitive computing
-
Using MPEG-21 to repurpose, distribute and protect news/NewsML informationIntelligent Content, sentient multimedia content, cross media431 Accessi Voto
-
Media Content for MultichannelIntelligent Content, sentient multimedia content, cross media493 Accessi Voto
-
EXPLOLOTING INTELLIGENT CONTENT VIA AXMEDIS/MPEG-21 FOR MODELLING AND DISTRIBUTING NEWSIntelligent Content, sentient multimedia content, cross media P. Bellini, I. Bruno, P. Nesi, "EXPLOITING INTELLIGENT CONTENT VIA AXMEDIS/MPEG-21 FOR MODELLING AND DISTRIBUTING NEWS", ...811 Accessi Voto
-
Da Open Data a Ontologia, l'esempio del SII -MobilityDa Open Data a Ontologia, l'esempio del SII -Mobility822 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 ...469 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 machines339 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 ...484 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 machines438 Accessi Voto
-
Verification of External Specifications of Reactive SystemsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines434 Accessi Voto
-
ECLAP technical flyer, ENGSocial media, semantic model and tools, suggestions, semantic computing, metadata models910 Accessi Voto