4117 search results - page 307 / 824 » On the Satisfiability of Complex Constraints |
178
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
172
click to vote
RE
2005
Springer
16 years 9 days ago
2005
Springer
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...
193
click to vote
ICFEM
2003
Springer
16 years 15 hour ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
172
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
In electronic commerce, a satisfying buyer experience is a key competitive element. We show new techniques for better adapting interaction with an electronic catalog system to act...
177
click to vote
ICIP
1999
IEEE
15 years 11 months ago
1999
IEEE
We have been developing a stochastic model for figure-ground separation[9][3][12]. The model selects/constructs theforeground with preferenceforfigures with "moreconvex"...