Sciweavers

780 search results - page 79 / 156
» Stability of fast algorithms for structured linear systems
Sort
View
JCC
2008
125views more  JCC 2008»
14 years 12 months ago
Efficient electronic integrals and their generalized derivatives for object oriented implementations of electronic structure cal
: For the new parallel implementation of electronic structure methods in ACES III (Lotrich et al., in preparation) the present state-of-the-art algorithms for the evaluation of ele...
Norbert Flocke, Victor Lotrich
TKDE
2010
210views more  TKDE 2010»
14 years 10 months ago
Structural and Role-Oriented Web Service Discovery with Taxonomies in OWL-S
—In this paper, we describe and evaluate a Web service discovery framework using OWL-S advertisements, combined with the distinction between service and Web service of the WSMO D...
Georgios Meditskos, Nick Bassiliades
ICIP
2003
IEEE
15 years 5 months ago
Fast motion estimation with modified diamond search for variable motion block sizes
The adaptive and powerful coding schemes in H.264 provide significant coding efficiency and some additional merits like error resilience and network friendliness. In spite of thes...
Woong Il Choi, Byeungwoo Jeon, Jechang Jeong
POPL
2010
ACM
15 years 9 months ago
Structuring the verification of heap-manipulating programs
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
Aleksandar Nanevski, Josh Berdine, Viktor Vafeiadi...
APGV
2005
ACM
130views Visualization» more  APGV 2005»
15 years 5 months ago
Exploitation of human shadow perception for fast shadow rendering
In this paper we describe an experiment to obtain information about the perceptual potential of the human visual system regarding shadow perception. Shadows play an important part...
Mirko Sattler, Ralf Sarlette, Thomas Mücken, ...