3239 search results - page 529 / 648 » A Logical Process Calculus |
100
click to vote
ICASSP
2010
IEEE
15 years 29 days ago
2010
IEEE
Due to the ease with which convincing digital image forgeries can be created, a need has arisen for digital forensic techniques capable of detecting image manipulation. Once image...
115
Voted
GLVLSI
2008
IEEE
15 years 28 days ago
2008
IEEE
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
82
Voted
COGSCI
2010
15 years 26 days ago
2010
Recent research suggests that language evolution is a process of cultural change, in which linguistic structures are shaped through repeated cycles of learning and use by domain-g...
88
Voted
ENTCS
2008
15 years 25 days ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
154
Voted
IDA
2008
Springer
15 years 25 days ago
2008
Springer
Currently statistical and artificial neural network methods dominate in data mining applications. Alternative relational (symbolic) data mining methods have shown their effectivene...