2488 search results - page 462 / 498 » An improvement in formal verification |
116
click to vote
PKDD
2010
Springer
14 years 11 months ago
2010
Springer
Current knowledge bases suffer from either low coverage or low accuracy. The underlying hypothesis of this work is that user feedback can greatly improve the quality of automatica...
CG
2010
Springer
14 years 11 months ago
2010
Springer
We used in the past a lot of computational power and human expertise for having a very big dataset of good 9x9 Go games, in order to build an opening book. We improved a lot the al...
108
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
115
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
130
click to vote
SMC
2010
IEEE
14 years 11 months ago
2010
IEEE
The handshake gesture is an important part of the social etiquette in many cultures. It lies at the core of many human interactions, either in formal or informal settings: exchangi...