1722 search results - page 243 / 345 » Generating Tests from Counterexamples |
122
Voted
ICMCS
2010
IEEE
15 years 3 months ago
2010
IEEE
In the multiview video plus depth (MVD) representation for 3D video, a depth map sequence is coded for each view. In the decoding end, a view synthesis algorithm is used to genera...
123
Voted
AICOM
2008
15 years 2 months ago
2008
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...
95
Voted
CANDC
2006
ACM
15 years 2 months ago
2006
ACM
Successful prediction of protein domain boundaries provides valuable information not only for the computational structure prediction of multidomain proteins but also for the exper...
116
Voted
DATAMINE
2006
15 years 2 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
88
Voted
JEA
2006
15 years 2 months ago
2006
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...