4600 search results - page 753 / 920 » Presentation Of The Eurolang Project |
128
click to vote
JUCS
2007
15 years 6 months ago
2007
: In this paper we obtain new effective results on the Halpern iterations of nonexpansive mappings using methods from mathematical logic or, more specifically, proof-theoretic te...
170
click to vote
ARSCOM
2002
15 years 6 months ago
2002
Given a non-planar graph G with a subdivision of K5 as a subgraph, we can either transform the K5-subdivision into a K3,3-subdivision if it is possible, or else we obtain a partit...
175
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
This paper reports the new steps undertaken in our work aimed to demonstrate the effectiveness of an omnidirectional vision sensor when conjugated with the Spatial Semantic Hierarc...
143
click to vote
ANSOFT
2000
15 years 6 months ago
2000
Scenario profiles are used increasingly often for the assessment of quality attributes during the architectural design of software systems. However, the definition of scenario pro...
167
click to vote
CAGD
2000
15 years 6 months ago
2000
In this paper, we first introduce a 3D morphing method for landmark-based volume deformation, using various scattered data interpolation schemes. Qualitative and speed comparisons...