Result 1 to 20 of 249 total
Specifying and verifying the correctness of dynamic software updates. (English)
Joshi, Rajeev (ed.) et al., Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). Lecture Notes in Computer Science 7152, 278-293 (2012).
1
Metaknowledge. (English)
Science 331, No. 6018, 721-725 (2011).
2
Directed symbolic execution. (English)
Yahav, Eran (ed.), Static analysis. 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23701-0/pbk). Lecture Notes in Computer Science 6887, 95-111 (2011).
3
Learning when training data are costly: the effect of class distribution on tree induction. (English)
Comput. Res. Repos. 2011, Article No. 1106.4557 (2011).
4
Otubase: an R infrastructure package for operational taxonomic unit data. (English)
Bioinformatics 27, No. 12, 1700-1701 (2011).
5
Genetic programming. 14th European conference, EuroGP 2011, Torino, Italy, April 27‒29, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6621. Berlin: Springer (ISBN 978-3-642-20406-7/pbk). xiii, 348~p. EUR~57.78 (2011).
6
LOCKSMITH: practical static race detection for C (English)
ACM Trans. Program. Lang. Syst. 33, No. 1, 3 (2011).
7
Comparing the use of edited and unedited text in parser self-training (English)
IWPT, 215-219 (2011).
8
Path-based inductive synthesis for program inversion (English)
PLDI, 492-503 (2011).
9
Session introduction (English)
Pacific Symposium on Biocomputing, 118-120 (2011).
10
Understanding knowledge transfer for social enterprise: some preliminary findings (English)
iConference, 708-709 (2011).
11
State transfer for clear and efficient runtime updates (English)
ICDE Workshops, 179-184 (2011).
12
Dynamic inference of static types for ruby (English)
POPL, 459-472 (2011).
13
Directed symbolic execution (English)
SAS, 95-111 (2011).
14
PASTE’11: Proceedings of the 10th ACM sigplan-sigsoft workshop on program analysis for software tools and engineering (English)
SIGSOFT FSE, 520-521 (2011).
15
Online active inference and learning (English)
KDD, 186-194 (2011).
16
Serializing C intermediate representations for efficient and portable parsing. (English)
Softw., Pract. Exper. 40, No. 3, 225-238 (2010).
17
The proteomics identifications database: 2010 update. (English)
Nucleic Acids Res. 38, No. Database-Issue, 736-742 (2010).
18
Inactive learning?: difficulties employing active learning in practice. (English)
SIGKDD Explor. 12, No. 2, 36-41 (2010).
19
Dynamic approaches for snow depth retrieval from spaceborne microwave brightness temperature (English)
IEEE T. Geoscience and Remote Sensing 48, No. 4-2, 1955-1967 (2010).
20
Result 1 to 20 of 249 total
Start
Contact
Print
General Help
