Result 1 to 20 of 429 total
Convergence rates of AFEM with $H^{-1}$ data. (English)
Found. Comput. Math. 12, No. 5, 671-718 (2012).
1
Sensor fusion: from dependence analysis via matroid bases to online synthesis. (English)
Erlebach, Thomas (ed.) et al., Algorithms for sensor systems. 7th international symposium on algorithms for sensor systems, wireless ad hoc networks and autonomous mobile entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8‒9, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28208-9/pbk). Lecture Notes in Computer Science 7111, 42-56 (2012).
2
Backing and undercutting in abstract argumentation frameworks. (English)
Lukasiewicz, Thomas (ed.) et al., Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5‒9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28471-7/pbk). Lecture Notes in Computer Science 7153, 107-123 (2012).
3
Greedy bisection generates optimally adapted triangulations. (English)
Math. Comput. 81, No. 278, 811-837 (2012).
4
Adaptive multiresolution analysis based on anisotropic triangulations. (English)
Math. Comput. 81, No. 278, 789-810 (2012).
5
Capturing ridge functions in high dimensions from point queries. (English)
Constr. Approx. 35, No. 2, 225-243 (2012).
6
Variable data rate (VDR) network congestion control (NCC) applied to voice/audio communication. (English)
Comput. Netw. 56, No. 4, 1343-1356 (2012).
7
Brauer algebras of type C. (English)
J. Pure Appl. Algebra 216, No. 2, 407-426 (2012).
8
Design of multiresolution operators using statistical learning tools: Application to compression of signals. (English)
Boissonnat, Jean-Daniel (ed.) et al., Curves and surfaces. 7th international conference, Avignon, France, June 24‒30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27412-1/pbk). Lecture Notes in Computer Science 6920, 94-108 (2012).
9
Curves and surfaces. 7th international conference, Avignon, France, June 24‒30, 2010. Revised selected papers. (English)
Lecture Notes in Computer Science 6920. Berlin: Springer (ISBN 978-3-642-27412-1/pbk). x, 748~p. EUR~93.09 (2012).
10
K-information gain scaled nearest neighbors: A novel approach to classifying protein-protein interaction-related documents (English)
IEEE/ACM Trans. Comput. Biology Bioinform. 9, No. 1, 305-310 (2012).
11
On the road to wavelets. (Sur la route des ondelettes.) (French)
Gaz. Math., Soc. Math. Fr. 130, 19-36 (2011).
12
The Birman‒Murakami‒Wenzl algebras of type {\ssf E}$_{n}$. (English)
Transform. Groups 16, No. 3, 681-715 (2011).
13
Coarse-grained loop parallelization: iteration space slicing vs affine transformations. (English)
Parallel Comput. 37, No. 8, 479-497 (2011).
14
Transitive closures of affine integer tuple relations and their overapproximations. (English)
Yahav, Eran (ed.), Static analysis. 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23701-0/pbk). Lecture Notes in Computer Science 6887, 216-232 (2011).
15
Developing virtual heritage applications as normative multiagent systems. (English)
Gleizes, Marie-Pierre (ed.) et al., Agent-oriented software engineering X. 10th international workshop, AOSE 2009, Budapest, Hungary, May 11‒12, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19207-4/pbk). Lecture Notes in Computer Science 6038, 140-154 (2011).
16
Backing and undercutting in defeasible logic programming. (English)
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 50-61 (2011).
17
io-port 05914020 Munk, Harm;
Ayguadé, Eduard;
Bastoul, Cédric;
Carpenter, Paul;
Chamski, Zbigniew;
Cohen, Albert;
Cornero, Marco;
Dumont, Philippe;
Duranton, Marc;
Fellahi, Mohammed;
Ferrer, Roger;
Ladelsky, Razya;
Lindwer, Menno;
Martorell, Xavier;
Miranda, Cupertino;
Nuzman, Dorit;
Ornstein, Andrea;
Pop, Antoniu;
Pop, Sebastian;
Puchet, Louis-Noël;
Ramirez, Alex;
Ródenas, David;
Rohou, Erven;
Rosen, Ira;
Shvadron, Uzi;
Trifunović, Konrad;
Zaks, Ayal
ACOTES project: Advanced Compiler Technologies for Embedded Streaming. (English)
Int. J. Parallel Program. 39, No. 3, 397-450 (2011).
18
Stochastic optimal control models for online stores. (English)
Comput. Res. Repos. 2011, Article No. 1103.1918 (2011).
19
Parallelizing a symbolic compositional model-checking algorithm. (English)
Barner, Sharon (ed.) et al., Hardware and software: verification and testing. 6th international Haifa verification conference, HVC 2010, Haifa, Israel, October 4‒7, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19582-2/pbk). Lecture Notes in Computer Science 6504, 46-59 (2011).
20
Result 1 to 20 of 429 total
Start
Contact
Print
General Help
