Result 1 to 20 of 93 total
On the computing time of the continued fractions method. (English)
J. Symb. Comput. 47, No. 11, 1372-1412 (2012).
1
The snap framework: A web toolkit for haskell (English)
IEEE Internet Computing 15, No. 1, 84-87 (2011).
2
Northern shield US-Russia maritime energy security cooperation (English)
IF&GIS, 301-315 (2007).
3
Single-factor coefficient bounds. (English)
J. Symb. Comput. 38, No. 6, 1507-1521 (2004).
4
Dynamics of multifrequency coordination using parametric driving: theory and experiment. (English)
Biol. Cybern. 93, No. 1, 6-21 (2005).
5
Digital pathological image analysis and cell segmentation (English)
CSB Workshops, 373 (2005).
6
Spatio-temporal fusion of multiple view video rate 3D surfaces (English)
3DIM, 142-149 (2005).
7
Min-plus eigenvector methods for nonlinear $H_\infty$ problems with active control. (English)
de Queiroz, Marcio (ed.) et al., Optimal control, stabilization and nonsmooth analysis. Papers from the Louisiana conference on mathematical control theory (MCT’03), Louisiana State University, Baton Rouge, LA, USA, April 10‒13, 2003. Berlin: Springer (ISBN 3-540-21330-9/pbk). Lecture Notes in Control and Information Sciences 301, 101-120 (2004).
8
The PROSPER toolkit. (English)
Int. J. Softw. Tools Technol. Transf. 4, No. 2, 189-210 (2003).
9
Animated statues. (English)
Mach. Vis. Appl. 14, No. 4, 248-259 (2003).
10
Interval arithmetic in cylindrical algebraic decomposition. (English)
J. Symb. Comput. 34, No.2, 145-157 (2002).
11
A fast Euclidean algorithm for Gaussian integers. (English)
J. Symb. Comput. 33, No.4, 385-392 (2002).
12
Local box adjacency algorithms for cylindrical algebraic decompositions. (English)
J. Symb. Comput. 33, No.3, 321-342 (2002).
13
From 3D shape capture to animated models (English)
3DPVT, 246-257 (2002).
14
A new algorithm for computing similarity between RNA structures. (English)
Inf. Sci. 139, No.1-2, 59-77 (2001).
15
Polynomial minimum root separation. (English)
J. Symb. Comput. 32, No.5, 467-473 (2001).
16
Models for character animation (English)
Software Focus 2, No. 2, 44-51 (2001).
17
A qualitative comparison of two processes for object-oriented software development (English)
Information & Software Technology 43, No. 12, 705-724 (2001).
18
UML compatible process (English)
HICSS (2001).
19
The PROSPER toolkit. (English)
Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 78-92 (2000).
20
Result 1 to 20 of 93 total
Start
Contact
Print
General Help
