3733 search results - page 396 / 747 » Logics of communication and change |
131
click to vote
IWEC
2007
15 years 8 months ago
2007
Abstract. We are exploring an application for a novel direction in humancomputer interaction named ‘cultural computing’, which aims to provide a new medium for cultural transla...
172
click to vote
PSSS
2003
15 years 8 months ago
2003
Contrary to earlier reports in literature, exhaustive forward inferencing is a feasible approach for practical RDF. It is sufficiently fast and the increase in necessary storage s...
178
click to vote
USENIX
2000
15 years 8 months ago
2000
Mobile computers often benefit from software which adapts to their location. For example, a computer might be backed up when at the office, or the default printer might always be ...
183
click to vote
SLP
1994
15 years 8 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
177
click to vote
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...