1581 search results - page 127 / 317 » Mechanizing Inductive Reasoning |
153
click to vote
DIS
2010
Springer
15 years 4 months ago
2010
Springer
How to achieve shared meaning is a significant issue when more than one intelligent agent is involved in the same domain. We define the task of concept convergence, by which intell...
151
click to vote
IKE
2003
15 years 7 months ago
2003
Traditional knowledge management mechanism focused on the re-usage of knowledge library. However, it lacks the ability of knowledge innovation and co-creation. Meanwhile, employee...
197
click to vote
FCSC
2010
15 years 3 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
128
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this work, we demonstrate examples about uses of practical image processing techniques over a new interpretation of power quality event data. Power quality event data are 1D da...
158
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Supply voltage fluctuations that result from inductive noise are increasingly troublesome in modern microprocessors. A voltage “emergency”, i.e., a swing beyond tol...