Sciweavers

10718 search results - page 1731 / 2144
» On the Circuit Implementation Problem
Sort
View
ICPR
2010
IEEE
15 years 9 months ago
Coarse-To-Fine Particle Filter by Implicit Motion Estimation for 3D Head Tracking on Mobile Devices
Due to the widely spread mobile devices over the years, a low cost implementation of an efficient head tracking system is becoming more useful for a wide range of applications. In...
Hacheon Sung, Kwontaeg Choi, Hyeran Byun
AISC
2008
Springer
15 years 9 months ago
Search Techniques for Rational Polynomial Orders
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto,...
AISC
2008
Springer
15 years 9 months ago
Notations for Living Mathematical Documents
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
Michael Kohlhase, Christine Müller, Florian R...
AOSD
2008
ACM
15 years 9 months ago
Test-based pointcuts for robust and fine-grained join point specification
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...
Kouhei Sakurai, Hidehiko Masuhara
AOSD
2008
ACM
15 years 9 months ago
Tool-supported refactoring of aspect-oriented programs
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
Jan Wloka, Robert Hirschfeld, Joachim Hänsel
« Prev « First page 1731 / 2144 Last » Next »