2356 search results - page 53 / 472 » Characterizations of postman sets |
102
click to vote
ISSRE
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
118
click to vote
WLP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
106
click to vote
TSDM
2000
15 years 3 months ago
2000
In this paper I define spatio-temporal regions as pairs consisting of a spatial and a temporal component and I define topological relations between them. Using the notion of rough ...
DALT
2008
Springer
15 years 1 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
HCI
2007
15 years 1 months ago
2007
This paper presents an ethnographic method for assessing user needs in designing for rural settings. “Serial Hanging Out” consists of short-term participant observation with mu...