4488 search results - page 690 / 898 » Focusing Search by Using Problem Solving Experience |
166
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
189
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
In analyzing data from social and communication networks, we encounter the problem of classifying objects where there is an explicit link structure amongst the objects. We study t...
176
click to vote
VR
2010
IEEE
15 years 4 months ago
2010
IEEE
A collaborative virtual environment (CVE) allows remote users to access and modify shared data through networks, such as the Internet. However, when the users are connected via th...
265
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
XML database systems are expected to handle increasingly complex queries over increasingly large and highly structured XML databases. An important problem that needs to be solved ...
174
click to vote
JAR
1998
15 years 6 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...