1669 search results - page 94 / 334 » Structured Specification of Model Interpreters |
155
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Social networking sites such as MySpace and Facebook thrive on energetic social interaction, but the factors that assure this are not well understood. There is a lack of theory th...
172
Voted
COMSIS
2010
15 years 26 days ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
132
click to vote
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
The audio scene from broadcast soccer can be used for identifying highlights from the game. Audio cues derived from these sources provide valuable information about game events, a...
134
Voted
SSPR
2004
Springer
15 years 8 months ago
2004
Springer
The creation of a cognitive perception systems capable of inferring higher-level semantic information from low-level feature and event information for a given type of multimedia co...
154
click to vote
ATVA
2011
Springer
14 years 3 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...