2229 search results - page 219 / 446 » The Case for Grounding Databases |
181
click to vote
ACMDIS
2010
ACM
15 years 6 months ago
2010
ACM
One of the major challenges in the design of social technologies is the evaluation of their qualities of use and how they are appropriated over time. While the field of HCI abound...
180
click to vote
JANCL
2008
15 years 6 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
164
click to vote
SIMPRA
2008
15 years 6 months ago
2008
In this paper we present two software tools for the simulation of electron multiplication processes in radio frequency (RF) waveguides. The electric discharges are caused by the m...
171
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
208
click to vote
IWC
2007
15 years 6 months ago
2007
In recent years, there has been great interest in scenario-based design and other forms of user-centred design. However, there are many design processes that, often for good reaso...