5387 search results - page 57 / 1078 » Generating generic functions |
IICAI
2007
13 years 10 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
A new content-based approach for improved H.264/MPEG4-AVC video coding is presented. The framework is generic because it is based on a closed-loop texture analysis by synthesis alg...
IS4TH
2003
Springer
14 years 2 months ago
2003
Springer
The construction of surgery simulators will be a key tool in the development and diffusion of minimally invasive surgery. Nowadays, most simulators are oriented to training surgeon...
SIGIR
2002
ACM
13 years 8 months ago
2002
ACM
A novel method for simultaneous keyphrase extraction and generic text summarization is proposed by modeling text documents as weighted undirected and weighted bipartite graphs. Sp...
CADE
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...