Result 1 to 20 of 103 total
Robotable: an infrastructure for intuitive interaction with mobile robots in a mixed-reality environment (English)
Adv. Human-Computer Interaction 2012 (2012).
1
Target recognition for low-resolution radar based on compressed sensing. (Chinese)
J. Comput. Appl. 31, No. 8, 2105-2107 (2011).
2
Decentralized control for time-delay large-scale interconnected systems with input saturation actuators. (Chinese)
Math. Pract. Theory 41, No. 4, 194-201 (2011).
3
Improved security proofs of Delerablée’s identity-based broadcast encryption scheme. (English)
Lee, Geuk (ed.) et al., Convergence and hybrid information technology. 5th international conference, ICHIT 2011, Daejeon, Korea, September 22‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24081-2/pbk). Lecture Notes in Computer Science 6935, 472-481 (2011).
4
Applications of pathway logic modeling to target identification. (English)
Agha, Gul (ed.) et al., Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday. Berlin: Springer (ISBN 978-3-642-24932-7/pbk). Lecture Notes in Computer Science 7000, 434-445 (2011).
5
A domain partition model approach to the online fault recovery of FPGA-based reconfigurable systems (English)
IEICE Transactions 94-A, No. 1, 290-299 (2011).
6
Rule Markov models for fast tree-to-string translation (English)
ACL, 856-864 (2011).
7
Robotable2: a novel programming environment using physical robots on a tabletop platform (English)
Advances in Computer Entertainment Technology, 10 (2011).
8
A novel dependency-to-string model for statistical machine translation (English)
EMNLP, 216-226 (2011).
9
Magnifier: online detection of performance problems in large-scale cloud computing systems (English)
IEEE SCC, 418-425 (2011).
10
Parallelizing a machine translation decoder for multicore computer (English)
ICNC, 2220-2225 (2011).
11
Marker classification method for hierarchical object navigation in mobile augmented reality (English)
FGIT-MulGraB (1), 179-184 (2011).
12
Applications of pathway logic modeling to target identification (English)
Formal Modeling: Actors, Open Systems, Biological Systems, 434-445 (2011).
13
A SSL VPN design method for enterprise FMC security system development (English)
ICHIT (2), 204-211 (2011).
14
Improved security proofs of delerablée’s identity-based broadcast encryption scheme (English)
ICHIT (1), 472-481 (2011).
15
Hats: interact using height-adjustable tangibles in tabletop interfaces (English)
ITS, 71-74 (2011).
16
Novel interaction techniques by combining hand and foot gestures on tabletop environments (English)
ITS, 268-269 (2011).
17
Very singular diffusion equations: second and fourth order problems. (English)
Japan J. Ind. Appl. Math. 27, No. 3, 323-345 (2010).
18
PANTHER version 7: improved phylogenetic trees, orthologs and collaboration with the gene ontology consortium. (English)
Nucleic Acids Res. 38, No. Database-Issue, 204-210 (2010).
19
Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming. (English)
Int. J. Control 83, No. 10, 2053-2066 (2010).
20
Result 1 to 20 of 103 total