6308 search results - page 870 / 1262 » Modeling Urgency in Timed Systems |
191
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper we examine the dissemination of reports about resources in mobile peer-to-peer networks, where moving objects communicate with each other via short-range wireless tr...
143
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper exploits a previously developed analytical modeling framework to compare several variations of the basic flooding search strategy in unstructured decentralized peer-to...
169
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
— We report on progress toward a continuous time full 6 DOF translational body state estimator for a hexapod robot executing a jogging gait (with 4 consecutive phases: tripod sta...
151
click to vote
LAWEB
2005
IEEE
16 years 13 days ago
2005
IEEE
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
178
click to vote
CSCLP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...