3384 search results - page 405 / 677 » More Testable Properties |
166
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
In real world, a scene is composed by many characteristics. Intrinsic images represent these characteristics by two components, reflectance (the albedo of each point) and shading (...
238
click to vote
ACML
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Massive real-world data are network-structured, such as social network, relationship between proteins and power grid. Discovering the latent communities is a useful way f...
182
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
—In open multiagent systems, agents need to model their environments in order to identify trustworthy agents. Models of the environment should be accurate so that decisions about...
173
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
191
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...