7785 search results - page 1222 / 1557 » The Concept of Dynamic Analysis |
179
click to vote
CLEF
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we report the experiments for the CLEF 2009 Robust-WSD task, both for the monolingual (English) and the bilingual (Spanish to English) subtasks. Our main experimenta...
175
click to vote
ECTEL
2010
Springer
15 years 8 months ago
2010
Springer
: IMS Learning Design (IMS LD) is an open specification to support interoperability of advanced educational designs for a wide range of technology-enhanced learning solutions and o...
180
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
In many scenarios, such as TV/radio advertising production, animation production, and presentation, music pieces are constrained in the metric of time. For example, an editor want...
205
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
192
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: In this paper we are proposing a new concept in MAC layer protocol design for Cognitive radio by combining information held by physical layer and MAC layer with analytical engine...