Sciweavers

5718 search results - page 443 / 1144
» Modeling Rule Precision
Sort
View
IWFM
2003
172views Formal Methods» more  IWFM 2003»
15 years 8 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
AICOM
2008
95views more  AICOM 2008»
15 years 7 months ago
A multilayer ontology-based hybrid recommendation model
We propose a novel hybrid recommendation model in which user preferences and item features are described in terms of semantic concepts defined in domain ontologies. The exploitati...
Iván Cantador, Alejandro Bellogín, P...
IJCV
2007
145views more  IJCV 2007»
15 years 6 months ago
Building Outline Extraction from Digital Elevation Models Using Marked Point Processes
— This work presents an automatic algorithm for extracting vectorial land registers from altimetric data in dense urban areas. We focus on elementary shape extraction and propose...
Mathias Ortner, Xavier Descombes, Josiane Zerubia
SIMULATION
2011
15 years 1 months ago
The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
Alexandre Muzy, Rajanikanth Jammalamadaka, Bernard...
PAMI
2010
146views more  PAMI 2010»
15 years 1 months ago
A Hierarchical Visual Model for Video Object Summarization
We propose a novel method for removing irrelevant frames from a video given user-provided frame-level labeling for a very small number of frames. We first hypothesize a number of w...
David Liu, Gang Hua, Tsuhan Chen