6300 search results - page 139 / 1260 » We have it easy, but do we have it right |
109
click to vote
IJDMB
2008
15 years 1 months ago
2008
: Recently lots of studies aim at modeling and inferring gene networks. Modeling tools propose graphical models having almost nothing about time description of events and regards t...
110
click to vote
JAR
2008
15 years 1 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
JUCS
2006
15 years 1 months ago
2006
: Plagiarism in the sense of "theft of intellectual property" has been around for as long as humans have produced work of art and research. However, easy access to the We...
145
click to vote
CGF
2005
15 years 1 months ago
2005
Deformable models are a powerful tool in both computer graphics and computer vision. The description and implementation of the deformations have to be simultaneously flexible and ...
155
click to vote
IFIP
2009
Springer
14 years 11 months ago
2009
Springer
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...