2701 search results - page 128 / 541 » On the form of witness terms |
175
click to vote
IJSNET
2008
15 years 6 months ago
2008
: Coverage is an important optimization objective in pre and post-deployment stage of a Wireless Sensor Network (WSN). In this paper, we address the issue of placing a finite set o...
163
click to vote
COMBINATORICA
2007
15 years 6 months ago
2007
A colored graph is a complete graph in which a color has been assigned to each edge, and a colorful cycle is a cycle in which each edge has a different color. We first show that ...
166
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
153
click to vote
BC
2005
15 years 6 months ago
2005
Spatiotemporal characteristics of spontaneous alpha EEG activity patterns are analyzed in terms of large-scale phase synchronization. During periods with strong phase synchronizati...
164
click to vote
JCT
2007
15 years 6 months ago
2007
Hyperplanes of the form xj = xi + c are called affinographic. For an affinographic hyperplane arrangement in Rn, such as the Shi arrangement, we study the function f(m) that counts...