21430 search results - page 495 / 4286 » Abstract Effective Models |
162
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
163
click to vote
SIGIR
1998
ACM
15 years 11 months ago
1998
ACM
Abstract One of the main hurdles to improved CLIR effectiveness is resolving ambiguity associated with translation. Availability of resources is also a problem. First we present a ...
174
click to vote
ECSCW
2007
15 years 8 months ago
2007
Abstract. We show that asynchronous collaboration can be made more effective by providing cues to common knowledge. We demonstrate this by empirically comparing two user interfaces...
165
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
ABSTRACT. In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combine...
153
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract— Today electronic messaging services are indispensable to individuals and organizations. If a message contains sensitive information, the integrity and confidentiality ...