Sciweavers

662 search results - page 104 / 133
» Computing the Temporal Structure of Events in Natural Langua...
Sort
View
91
Voted
CIDM
2007
IEEE
15 years 4 months ago
Efficient Kernel-based Learning for Trees
Kernel methods are effective approaches to the modeling of structured objects in learning algorithms. Their major drawback is the typically high computational complexity of kernel ...
Fabio Aiolli, Giovanni Da San Martino, Alessandro ...
109
Voted
ICFP
2005
ACM
16 years 15 days ago
Monadic augment and generalised short cut fusion
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo ...
168
Voted
TOG
2012
215views Communications» more  TOG 2012»
13 years 3 months ago
Videoscapes: exploring sparse, unstructured video collections
The abundance of mobile devices and digital cameras with video capture makes it easy to obtain large collections of video clips that contain the same location, environment, or eve...
James Tompkin, Kwang In Kim, Jan Kautz, Christian ...
CODES
2002
IEEE
15 years 5 months ago
Symbolic model checking of Dual Transition Petri Nets
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejand...
VISUALIZATION
1998
IEEE
15 years 4 months ago
Visualizing differences in movies of cortical activity
This paper discusses techniques for visualizing structure in video data and other data sets that represent time snapshots of physical phenomena. Individual frames of a movie are t...
Kay A. Robbins, David M. Senseman