2364 search results - page 241 / 473 » An Engine for Computing Well-Founded Models |
143
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
We have developed a simulator to help with the design and evaluation of assistive interfaces. The simulator can predict possible interaction patterns when undertaking a task using...
150
click to vote
CSE
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract—Extensive work has been devoted to private information retrieval and privacy preserving data mining. To protect user privacy from search engines, however, most current a...
138
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
170
click to vote
EDBT
2000
ACM
15 years 9 months ago
2000
ACM
Workflow management systems (WFMSs) that are geared for the orchestration of enterprise-wide or even "virtual-enterprise"-style business processes across multiple organi...
169
click to vote
CSIE
2009
IEEE
15 years 7 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...