Result 1 to 20 of 53 total
Acquiring bilingual lexica from keyword listings. (English)
Vetulani, Zygmunt (ed.), Human language technology. Challenges for computer science and linguistics. 4th language and technology conference, LTC 2009, Poznan, Poland, November 6‒8, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20094-6/pbk). Lecture Notes in Computer Science 6562. Lecture Notes in Artificial Intelligence, 361-370 (2011).
1
Formalization of abstract state transition systems for SAT. (English)
Log. Methods Comput. Sci. 7, No. 3, Paper No. 19, 37 p., electronic only (2011).
2
Estimating and exploiting potential parallelism by source-level dependence profiling. (English)
D’Ambra, Pasqua (ed.) et al., Euro-Par 2010 ‒ parallel processing. 16th international Euro-Par conference, Ischia, Italia, August 31 ‒ September 3, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-15276-4/pbk). Lecture Notes in Computer Science 6271, 26-37 (2010).
3
A psychophysical evaluation of texture degradation descriptors. (English)
Hancock, Edwin R. (ed.) et al., Structural, syntactic, and statistical pattern recognition. Joint IAPR international workshop, SSPR {\&} SPR 2010, Cesme, Izmir, Turkey, August 18‒20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14979-5/pbk). Lecture Notes in Computer Science 6218, 423-433 (2010).
4
URBiVA: Uniform reduction to bit-vector arithmetic. (English)
Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 346-352 (2010).
5
Formal correctness proof for DPLL procedure. (English)
Informatica, Vilnius 21, No. 1, 57-78 (2010).
6
Bidirectional texture function compression based on multi-level vector quantization (English)
Comput. Graph. Forum 29, No. 1, 175-190 (2010).
7
Realistic material appearance modelling (English)
ERCIM News 2010, No. 81 (2010).
8
Estimating and exploiting potential parallelism by source-level dependence profiling (English)
Euro-Par (1), 26-37 (2010).
9
Urbiva: uniform reduction to bit-vector arithmetic (English)
IJCAR, 346-352 (2010).
10
Gaze-motivated compression of illumination and view dependent textures (English)
ICPR, 862-865 (2010).
11
A psychophysical evaluation of texture degradation descriptors (English)
SSPR/SPR, 423-433 (2010).
12
Instance-based selection of policies for SAT solvers. (English)
Kullmann, Oliver (ed.), Theory and applications of satisfiability testing ‒ SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30‒July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02776-5/pbk). Lecture Notes in Computer Science 5584, 326-340 (2009).
13
Bidirectional texture function modeling: A state of the art survey (English)
IEEE Trans. Pattern Anal. Mach. Intell. 31, No. 11, 1921-1940 (2009).
14
On uniform resampling and gaze analysis of bidirectional texture functions (English)
TAP 6, No. 3 (2009).
15
Instance-based selection of policies for SAT solvers (English)
SAT, 326-340 (2009).
16
Acquiring bilingual lexica from keyword listings (English)
LTC, 361-370 (2009).
17
A psychophysically validated metric for bidirectional texture data reduction. (English)
ACM Trans. Graph. 27, No. 5, 138 (2008).
18
Fast and reliablepca-based temporal segmentation of video sequences (English)
ICPR, 1-4 (2008).
19
On optimal resampling of view and illumination dependent textures (English)
APGV, 131-134 (2008).
20
Result 1 to 20 of 53 total
Start
Contact
Print
General Help
