any types
document
image
pdf
--------------
3d
archive
audio
blog
braille music
collection
crossmedia
course
document
event
epub
excel
flash
forum
groups
html
image
page
pdf
playlist
slide
smil
tool
video
deep search
New Menu
Home
Events
DISIT Overview
Subscription & Registration
News Blog
Contacts and Assessment
Partners
Research
Industria 4.0
Big Data
Smart City: Km4City
Projects
Sii-Mobility
Ontologies
Recent Activities
Publications
Past Activities
Innovation
Disit Services OnLine
DISIT Tools
Services and Networks
White papers
Italy of Innovators Awards
Mobile App
Open Source
Education and Courses
All Courses
Thesis & Stages at DISIT
Sistemi Distribuiti
Big Data Architectures
Security and Knowledge Management
Master Big Data, MABIDA
KNOWLEDGE MANAGEMENT and PROTECTION SYSTEMS
Sistemi Operativi
PhD Courses
Accesso al DISIT
HowTo
Ricerca Avanzata di contenuti
Help on Search
Social Graph
Player and Tools
Mobile Content Organizer
QR and GPS
Services
Workshop on Using Smart City API 2017
Smart City and Big Data, 2015 Firenze
Supported Conferences
English (en-US)
Italiano (it)
Log in/Create account
collection's Playback
Metadata
Actions
Search Filter
Content
Featured
Popular
Most Viewed (last 500)
Most Viewed All (last 500)
Less Popular
Last Posted
Top Rated
Location
Timeline
Preview & description
Embed
Copy HTML to clipboard
Cancel
Organize Personal Collection
Select resources to add to collections
Do you really want to start
from scratch?
Classification
research paper
An Interval Logic for RealTime System Specification
Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
446 Hits Rating
Verification of External Specifications of Reactive Systems
Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
445 Hits Rating
Tracking and Synthesizing Facial Motions with Dynamic Contours
motion analysis, motion estimation, optical flow, partial differential equation
342 Hits Rating
Guest Editorial: Computer vision motion analysis
motion analysis, motion estimation, optical flow, partial differential equation
345 Hits Rating
Guest Editorial: Special Issue on Computer Vision Motion Analysis
motion analysis, motion estimation, optical flow, partial differential equation
434 Hits Rating
A new Particle Tracking Velocimetry
motion analysis, motion estimation, optical flow, partial differential equation
617 Hits Rating
RETIMAC: REal-TIme Motion Analysis Chip
motion analysis, motion estimation, optical flow, partial differential equation
429 Hits Rating
Real Time Optical Flow Estimation
motion analysis, motion estimation, optical flow, partial differential equation
316 Hits Rating
ECLAP technical flyer, ENG
Social media, semantic model and tools, suggestions, semantic computing, metadata models
920 Hits Rating
A Linked Open Data service for performing arts
Social media, semantic model and tools, suggestions, semantic computing, metadata models
983 Hits Rating
«First
<Previous
…
5
6
7
8
9
10
11
12
13
…
next >
Last »
time: 296ms ()