5499 search results - page 847 / 1100 » Generalized Rewrite Theories |
192
click to vote
JCM
2007
15 years 7 months ago
2007
—Wireless Ad hoc networks represent a powerful telecommunication infrastructure that is being exploited for enabling general wireless networking connectivity for a variety of sig...
205
click to vote
CAGD
2005
15 years 7 months ago
2005
Given an m-dimensional surface in Rn , we characterize parametric curves in , which interpolate or approximate a sequence of given points pi and minimize a given energy functio...
190
click to vote
JCT
2007
15 years 7 months ago
2007
A matrix A is said to be partition regular (PR) over a subset S of the positive integers if whenever S is finitely coloured, there exists a vector x, with all elements in the sam...
156
click to vote
JIKM
2007
15 years 7 months ago
2007
This paper presents the role of an innovative university masters’ degree program as a basis for skills development in human capital analysis for finance and business students in...
200
click to vote
JLP
2007
15 years 7 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...