Result 1 to 20 of 458 total
Fast computation of edge model representation for image sequence super-resolution. (English)
Kundu, Malay K. (ed.) et al., Perception and machine intelligence. First Indo-Japan conference, Permin 2012, Kolkata, India, January 12‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27386-5/pbk). Lecture Notes in Computer Science 7143, 252-259 (2012).
1
Euler: a system for numerical optimization of programs. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 732-737 (2012).
2
Circle formation by asynchronous fat robots with limited visibility. (English)
Ramanujam, R. (ed.) et al., Distributed computing and internet technology. 8th international conference, ICDCIT 2012, Bhubaneswar, India, February 2‒4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28072-6/pbk). Lecture Notes in Computer Science 7154, 83-93 (2012).
3
Adaptive smoothness based robust active contours. (English)
Image Vis. Comput. 29, No. 5, 317-328 (2011).
4
Smoothing a program soundly and robustly. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 277-292 (2011).
5
Side-channel oscilloscope. (English)
Comput. Res. Repos. 2011, Article No. 1103.1824 (2011).
6
A secure asynchronous FPGA architecture, experimental results and some debug feedback. (English)
Comput. Res. Repos. 2011, Article No. 1103.1360 (2011).
7
Guest editors introduction: special section on keyword search on structured data (English)
IEEE Trans. Knowl. Data Eng. 23, No. 12, 1761-1762 (2011).
8
Probabilistic reasoning for assembly-based 3D modeling (English)
ACM Trans. Graph. 30, No. 4, 35 (2011).
9
Analysis of an adaptive sampler based on weber’s law (English)
IEEE Transactions on Signal Processing 59, No. 4, 1868-1878 (2011).
10
Software model checking using languages of nested trees (English)
ACM Trans. Program. Lang. Syst. 33, No. 5, 15 (2011).
11
New frontiers in business intelligence (English)
PVLDB 4, No. 12, 1502-1503 (2011).
12
Path-based inductive synthesis for program inversion (English)
PLDI, 492-503 (2011).
13
A comparison of latent variable models for conversation analysis (English)
SIGDIAL Conference, 30-38 (2011).
14
Interval-based pruning for top-k processing over compressed lists (English)
ICDE, 709-720 (2011).
15
Database access control and privacy: is there a common ground? (English)
CIDR, 96-103 (2011).
16
Learning contextual relevance of audio segments using discriminative models over AUD sequences (English)
WASPAA, 197-200 (2011).
17
Entitytagger: automatically tagging entities with descriptive phrases (English)
WWW (Companion Volume), 19-20 (2011).
18
Delegated isolation (English)
OOPSLA, 885-902 (2011).
19
Smoothing a program soundly and robustly (English)
CAV, 277-292 (2011).
20
Result 1 to 20 of 458 total
Start
Contact
Print
General Help
