612 search results - page 109 / 123 » Bounded model checking for knowledge and real time |
SSDBM
2007
IEEE
15 years 3 months ago
2007
IEEE
High energy physics scientists analyze large amounts of data looking for interesting events when particles collide. These analyses are easily expressed using complex queries that ...
103
click to vote
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
ICML
1995
IEEE
15 years 10 months ago
1995
IEEE
In the single rent-to-buy decision problem, without a priori knowledge of the amount of time a resource will be used we need to decide when to buy the resource, given that we can ...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
115
click to vote
KDD
2012
ACM
13 years 2 days ago
2012
ACM
Accurate prediction of user behaviors is important for many social media applications, including social marketing, personalization and recommendation, etc. A major challenge lies ...