2765 search results - page 510 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
KDD
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we present a technique for visual analysis of documents based on the semantic representation of text in the form of a directed graph, referred to as semantic graph....
GPCE
2007
Springer
15 years 5 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
102
click to vote
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
110
click to vote
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
— This paper presents a system capable of recovering the trajectory of a vehicle from the video input of a single camera at a very high frame-rate. The overall frame-rate is limi...