Sciweavers

1249 search results - page 70 / 250
» Limitations of the Even-Mansour Construction
Sort
View
POPL
2012
ACM
12 years 5 months ago
The marriage of bisimulations and Kripke logical relations
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Va...
JMLR
2012
12 years 13 days ago
Metric and Kernel Learning Using a Linear Transformation
Metric and kernel learning arise in several machine learning applications. However, most existing metric learning algorithms are limited to learning metrics over low-dimensional d...
Prateek Jain, Brian Kulis, Jason V. Davis, Inderji...
SENSYS
2006
ACM
14 years 4 months ago
eCAM: ultra compact, high data-rate wireless sensor node with a miniature camera
— eCAM is an ultra-compact, high data-rate wireless sensor node (WSN) with a miniature camera. It is constructed by interfacing a VGA quality digital video camera with the Eco no...
Chulsung Park, Pai H. Chou
ECOOP
2005
Springer
14 years 3 months ago
Aspect-Oriented Programming Beyond Dependency Injection
Abstract. Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented progr...
Shigeru Chiba, Rei Ishikawa
ISMAR
2003
IEEE
14 years 3 months ago
Interactive Mediated Reality
Mediated reality describes the concept of filtering our vision of reality, typically using a head-mounted video mixing display. We can redefine this idea in a more constructive ...
Raphael Grasset, Jean-Dominique Gascuel, Dieter Sc...