10916 search results - page 2075 / 2184 » On Constructive Connectives and Systems |
172
click to vote
ROBOCOMM
2007
IEEE
16 years 20 days ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
170
click to vote
CCS
2007
ACM
16 years 17 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
179
click to vote
CDVE
2007
Springer
16 years 17 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
200
click to vote
CLEF
2007
Springer
16 years 17 days ago
2007
Springer
In this paper, we propose a pseudo-relevance feedback method to deal with the photographic retrieval and medical retrieval tasks of ImageCLEF 2007. The aim of our participation to...
201
click to vote
INFOCOM
2006
IEEE
16 years 12 days ago
2006
IEEE
— Efficient and scalable live-streaming overlay construction has become a hot topic recently. In order to improve the performance metrics, such as startup delay, source-to-end de...