Result 1 to 20 of 42 total
BDD-based automated reasoning for propositional bi-intuitionistic tense logics. (English)
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 301-315 (2012).
1
An iterative approach to synthesize business process templates from compliance rules. (English)
Inf. Syst. 37, No. 8, 714-736 (2012).
2
An iterative approach for business process template synthesis from compliance rules. (English)
Mouratidis, Haralambos (ed.) et al., Advanced information systems engineering. 23rd international conference, CAiSE 2011, London, UK, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21639-8/pbk). Lecture Notes in Computer Science 6741, 406-421 (2011).
3
Automatic opencl device characterization: Guiding optimized kernel design. (English)
Jeannot, Emmanuel (ed.) et al., Euro-Par 2011 parallel processing. 17th international conference, Euro-Par 2011, Bordeaux, France, August 29‒September 2, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23396-8/pbk). Lecture Notes in Computer Science 6853, 438-452 (2011).
4
io-port 05914016 Fursin, Grigori;
Kashnikov, Yuriy;
Memon, Abdul Wahid;
Chamski, Zbigniew;
Temam, Olivier;
Namolaru, Mircea;
Yom-Tov, Elad;
Mendelson, Bilha;
Zaks, Ayal;
Courtois, Eric;
Bodin, Francois;
Barnard, Phil;
Ashton, Elton;
Bonilla, Edwin;
Thomson, John;
Williams, Christopher K.I.;
O’Boyle, Michael
Milepost GCC: Machine learning enabled self-tuning compiler. (English)
Int. J. Parallel Program. 39, No. 3, 296-327 (2011).
5
Preparing FLOSS for future network paradigms: A survey on linux network management (English)
OSS, 75-89 (2011).
6
Package upgrade robustness: an analysis for GNU/linux$\textregistered $ package management systems (English)
OSS, 299-306 (2011).
7
Automatic opencl device characterization: guiding optimized kernel design (English)
Euro-Par (2), 438-452 (2011).
8
An experimental comparison of theorem provers for CTL (English)
TIME, 49-56 (2011).
9
An iterative approach for business process template synthesis from compliance rules (English)
CAiSE, 406-421 (2011).
10
Efficient scheduling for multiple automated non-holonomic vehicles using a coordinated path planner (English)
ICRA (2011).
11
RNA-seq gene expression estimation with read mapping uncertainty. (English)
Bioinformatics 26, No. 4, 493-500 (2010).
12
Reducing training time in a one-shot machine learning-based compiler. (English)
Gao, Guang R. (ed.) et al., Languages and compilers for parallel computing. 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8‒10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-13373-2/pbk). Lecture Notes in Computer Science 5898, 399-407 (2010).
13
Missing systems and the face value practice (English)
Synthese 172, No. 2, 283-299 (2010).
14
Lock-free decentralized storage for transactional upgrade rollback (English)
WETICE, 229-234 (2010).
15
Probematch: rapid alignment of oligonucleotides to genome allowing both gaps and mismatches. (English)
Bioinformatics 25, No. 11, 1424-1425 (2009).
16
A model for learning words in a language by crawling the web (English)
CAINE, 183-188 (2009).
17
Reducing training time in a one-shot machine learning-based compiler (English)
LCPC, 399-407 (2009).
18
Using machine learning to focus iterative optimization (English)
CGO, 295-305 (2006).
19
Predictive search distributions (English)
ICML, 121-128 (2006).
20
Result 1 to 20 of 42 total
Start
Contact
Print
General Help
