9110 search results - page 1503 / 1822 » Formally-Based Design Evaluation |
161
click to vote
ISPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Providing independent uniform samples from a system population poses considerable problems in highly dynamic settings, like P2P systems, where the number of participants and the...
220
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We have developed a new semi-automated method for segmenting images of biological cells seeded at low density on tissue culture substrates, which we use to improve the ge...
192
click to vote
IVA
2010
Springer
15 years 5 months ago
2010
Springer
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
167
click to vote
IWC
2010
15 years 5 months ago
2010
Instant Messaging (IM) is a useful tool for collaborative work. However, the awareness and communication features of IM pose a tension with privacy desires. Inadequate support for...
177
click to vote
JIRS
2010
15 years 5 months ago
2010
Currently, robotic rotorcraft determine landing zones based on visual cues or predetermined GPS waypoints. Missions such as perch-and-stare or cargo delivery demand the ability to ...