3495 search results - page 222 / 699 » On the random satisfiable process |
164
click to vote
DKE
2008
15 years 7 months ago
2008
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
203
click to vote
JCM
2007
15 years 7 months ago
2007
— Radio Frequency Identification (RFID) technology has a lot of potential to improve visibility across the supply chain and automate the business processes. This paper describes ...
219
click to vote
SERA
2010
Springer
15 years 5 months ago
2010
Springer
—Evidence shows that proposals for new modeling notations emerge and evolution of current ones are becoming more complex, often in an attempt to satisfy the many different modeli...
261
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
176
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
We introduce an optimum watermark embedding technique that satisfies common watermarking requirements such as visual fidelity, sufficient embedding rate, robustness against noise ...