2475 search results - page 303 / 495 » Question Answering in TREC |
147
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
179
click to vote
RTAS
2006
IEEE
16 years 18 days ago
2006
IEEE
Prior research on schedulability bounds focused primarily on bounding utilization as a means to meet deadline constraints. Non-trivial bounds were found for a handful of schedulin...
150
click to vote
NORDICHI
2006
ACM
16 years 16 days ago
2006
ACM
How do individual HCI-practitioners evaluate their own work practice? And how would they like to evaluate it? Answers to these questions will give new knowledge on the state-of-th...
140
click to vote
STORAGESS
2005
ACM
16 years 4 days ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
174
click to vote
BPM
2005
Springer
16 years 4 days ago
2005
Springer
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...