816 search results - page 120 / 164 » Practical Multi-level Modeling on MOF-compliant Modeling Fra... |
129
Voted
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
141
Voted
CVPR
2010
IEEE
16 years 4 days ago
2010
IEEE
In this paper we investigate shape and motion retrieval in the context of multi-camera systems. We propose a new lowlevel analysis based on latent silhouette cues, particularly su...
128
Voted
ISBI
2009
IEEE
15 years 10 months ago
2009
IEEE
In fluorescence microscopy the noise level and the photobleaching are cross-dependent problems since reducing exposure time to reduce photobleaching degrades image quality while ...
132
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
120
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...