360 search results - page 10 / 72 » Constraint Checking with Partial Information |
CODES
2010
IEEE
13 years 5 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
SEFM
2009
IEEE
14 years 2 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
NIPS
2001
13 years 9 months ago
2001
We report a result of perturbation analysis on decoding error of the belief propagation decoder for Gallager codes. The analysis is based on information geometry, and it shows tha...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Partial periodic patterns mining is a very interesting domain in data mining problem. In the previous studies, full and partial multiple periodic patterns mining problems are cons...
FOIKS
2004
Springer
13 years 11 months ago
2004
Springer
When two or more databases are combined into a global one, integrity may be violated even when each database is consistent with its own local integrity constraints. Efficient metho...