2517 search results - page 149 / 504 » Specifying Weak Sets |
142
click to vote
COMMA
2006
15 years 8 months ago
2006
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...
166
click to vote
CASCON
1996
15 years 7 months ago
1996
We introduce a seamless messaging system for the management of personal messages. The aim of it is to intercept, filter, interpret, and deliver multi-modal messages (voice, fax, a...
167
click to vote
ECRTS
2010
IEEE
15 years 6 months ago
2010
IEEE
— The generalized multiframe (GMF) task has been proposed to model a task whose execution times, deadlines and minimum separation times are changed according to a specified patte...
180
click to vote
CGF
2008
15 years 6 months ago
2008
Color is widely used in data visualization to show data values. The proper selection of colors is critical to convey information correctly. In this paper, we present a technique f...
170
click to vote
CONCURRENCY
2006
15 years 6 months ago
2006
With the advent of grid technologies, scientists and engineers are building more and more complex applications to utilize distributed grid resources. The core grid services provid...