Result 1 to 20 of 239 total
Kernel-based logical and relational learning with klog for hedge cue detection. (English)
Muggleton, Stephen H. (ed.) et al., Inductive logic programming. 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 ‒ August 3, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31950-1/pbk). Lecture Notes in Computer Science 7207. Lecture Notes in Artificial Intelligence, 347-357 (2012).
1
Enumerating perfect matchings in inductively-defined families of graphs. (English)
J. Comb. Math. Comb. Comput. 80, 151-156 (2012).
2
Forward kinematic problem of 5-R$\underline {\text P}$UR parallel mechanisms (3T2R) with identical limb structures. (English)
Mech. Mach. Theory 46, No. 7, 945-959 (2011).
3
Verification of analog/Mixed-signal circuits using labeled hybrid Petri nets. (English)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 30, No. 4, 617-630 (2011).
4
Combinatorics and physics. Mini-workshop on renormalization, December 15‒16, 2006, Conference on combinatorics and physics, March 19‒23, 2007, Bonn, Germany. (English)
Contemporary Mathematics 539. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-5329-0/pbk). ix, 465~p. (2011).
5
Introduction to combinatorics. (English)
Discrete Mathematics and Its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4398-0622-7/hbk). xvi, 380~p. \$~79.95 (2011).
6
Cotracks: A new lossy compression schema for tracking logs data based on multiparametric segmentation (English)
CCP, 168-171 (2011).
7
Experiments on term extraction using noun phrase subclassifications (English)
RANLP, 746-751 (2011).
8
Electrocutaneous feedback system to improve the estimation of pressure applied to the foot (English)
BIODEVICES, 386-390 (2011).
9
An adaptive single frequency phase vocoder for low-power heart rate detection - development of a fast and low-power heart rate estimation algorithm for mobile phone applications (English)
BIODEVICES, 30-35 (2011).
10
Human-centered phone oximeter interface design for the operating room - pulse oximeter interfaced to a mobile device for anesthesia monitoring in the developing world (English)
HEALTHINF, 433-438 (2011).
11
An incremental sigma delta converter for compressive sensing applications (English)
ISCAS, 522-525 (2011).
12
More than hope and good intentions: deploying ict projects at the edge of development (English)
ECIS (2011).
13
On Leighton’s graph covering theorem. (English)
Groups Geom. Dyn. 4, No. 4, 863-872 (2010).
14
Quasi-isometric classification of some high dimensional right-angled Artin groups. (English)
Groups Geom. Dyn. 4, No. 4, 681-692 (2010).
15
Experiences in applying formal verification in robotics. (English)
Schoitsch, Erwin (ed.), Computer safety, reliability, and security. 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15650-2/pbk). Lecture Notes in Computer Science 6351, 347-360 (2010).
16
Analog/mixed-signal circuit verification using models generated from simulation traces. (English)
Int. J. Found. Comput. Sci. 21, No. 2, 191-210 (2010).
17
Nonuniform ground motion monitoring with terrasar-X persistent scatterer interferometry (English)
IEEE T. Geoscience and Remote Sensing 48, No. 2, 895-904 (2010).
18
Uneasy alliances: tradition and ICT transformation in the value chain (English)
J. Org. Computing and E. Commerce 20, No. 3, 234-256 (2010).
19
Fast construction of panoramic images for cystoscopic exploration (English)
Comp. Med. Imag. and Graph. 34, No. 7, 579-592 (2010).
20
Result 1 to 20 of 239 total
Start
Contact
Print
General Help
