2583 search results - page 409 / 517 » On the Representation of Timed Polyhedra |
180
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
183
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Communication among agents requires a common vocabulary to facilitate successful information exchange. One way to achieve this is to assume the existence of a common ontology amon...
151
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
159
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- Significant operational cost and energy savings can be achieved by optimising the schedules of pumps, which pump water from source reservoirs to storage tanks, in Water ...
169
click to vote
CHI
2005
ACM
15 years 8 months ago
2005
ACM
The distortion caused by an interactive fisheye lens can make it difficult for people to remember items and locations in the data space. In this paper we introduce the idea of vis...