1199 search results - page 225 / 240 » Software Verification and Software Engineering a Practitione... |
111
click to vote
AVI
2008
15 years 4 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
113
click to vote
PARA
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Ahardware and software environment with performance above 1 Tera ops (teracomputing) is presently required to face the leading computational challenges not only in fundam...
137
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
There is now considerable evidence in social psychology, economics, and related disciplines that emotion plays an important role in negotiation. For example, humans make greater c...
DAC
2002
ACM
16 years 2 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
121
click to vote
KDD
2009
ACM
16 years 2 months ago
2009
ACM
: Gaining access to high-quality health data is a vital requirement to informed decision making for medical practitioners and pharmaceutical researchers. Driven by mutual benefits ...