18209 search results - page 3330 / 3642 » Some Remarks on the Paper |
171
click to vote
SMI
2005
IEEE
16 years 11 days ago
2005
IEEE
For time-dependent scalar fields, one is often interested in topology changes of contours in time. In this paper, we focus on describing how contours split and merge over a certa...
163
click to vote
SP
2005
IEEE
16 years 11 days ago
2005
IEEE
So far, sensor network broadcast protocols assume a trustworthy environment. However, in safety and missioncritical sensor networks this assumption may not be valid and some senso...
187
click to vote
SSDBM
2005
IEEE
16 years 11 days ago
2005
IEEE
Data products generated from remotely-sensed, geospatial imagery (RSI) used in emerging areas, such as global climatology, environmental monitoring, land use, and disaster managem...
194
click to vote
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
171
click to vote
GROUP
2005
ACM
16 years 11 days ago
2005
ACM
Shared workspace systems provide virtual places for selforganized and semi-structured cooperation between local and distributed team members. These cooperation systems have been a...