Result 1 to 20 of 412 total
Cognitive intentionality extraction from discourse with pragmatic-tree construction and analysis. (English)
Inf. Sci. 214, 35-55 (2012).
1
Complete-thread extraction from web forums. (English)
Sheng, Quan Z. (ed.) et al., Web technologies and applications. 14th Asia-Pacific web conference, APWeb 2012, Kunming, China, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29252-1/pbk). Lecture Notes in Computer Science 7235, 727-734 (2012).
2
Computation of the Folkman number $F_v (3, 5; 6)$. (English)
J. Comb. Math. Comb. Comput. 81, 11-17 (2012).
3
A structural approach to prophecy variables. (English)
Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 9th annual conference, TAMC 2012, Beijing, China, May 16‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29951-3/pbk). Lecture Notes in Computer Science 7287, 61-71 (2012).
4
Upper bounds on the connection probability for 2-D meshes and tori. (English)
J. Parallel Distrib. Comput. 72, No. 2, 185-194 (2012).
5
On sets without $k$-term arithmetic progression. (English)
J. Comput. Syst. Sci. 78, No. 2, 610-618 (2012).
6
Weak updates and separation logic. (English)
New Generation Comput. 29, No. 1, 3-29 (2011).
7
Precision test method based on continued-fraction approximation. (Chinese)
J. Comput. Appl. 31, No. 10, 2600-2602 (2011).
8
Design and application of automatic scholarship distribution method based on Q-value method. (Chinese)
J. Comput. Appl. 31, No. 11, 3132-3134 (2011).
9
A multi-scale and multi-orientation image retrieval method based on rotation-invariant texture features. (English)
Sci. China, Inf. Sci. 54, No. 4, 732-744 (2011).
10
Automatic web information extraction based on rules. (English)
Bouguettaya, Athman (ed.) et al., Web information system engineering ‒ WISE 2011. 12th international conference, Sydney, Australia, October 13‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24433-9/pbk). Lecture Notes in Computer Science 6997, 265-272 (2011).
11
Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7‒9, 2011. Proceedings. (English)
Lecture Notes in Computer Science 7086. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). xv, 401~p. EUR~66.34 (2011).
12
More constructive lower bounds on classical Ramsey numbers. (English)
SIAM J. Discrete Math. 25, No. 1, 394-400 (2011).
13
Enhanced certificate-based encryption from pairings. (English)
Comput. Electr. Eng. 37, No. 2, 136-146 (2011).
14
On reducing hidden redundant memory accesses for DSP applications. (English)
IEEE Trans. VLSI Syst. 19, No. 6, 997-1010 (2011).
15
Overhead-aware energy optimization for real-time streaming applications on multiprocessor system-on-chip. (English)
ACM Trans. Des. Autom. Electron. Syst. 16, No. 2, 14 (2011).
16
Compiler-assisted dynamic scratch-pad memory management with space overlapping for embedded systems. (English)
Softw., Pract. Exper. 41, No. 7, 737-752 (2011).
17
Contour based path planning with B-spline trajectory generation for unmanned aerial vehicles (UAVs) over hostile terrain (English)
JILSA 3, No. 3, 122-130 (2011).
18
To code or not to code: rate optimality of network coding versus routing in peer-to-peer networks (English)
IEEE Transactions on Communications 59, No. 4, 948-954 (2011).
19
Driving force analysis for the secondary adjustable system in FAST (English)
Robotica 29, No. 6, 903-915 (2011).
20
Result 1 to 20 of 412 total
Start
Contact
Print
General Help
