Sciweavers

2041 search results - page 271 / 409
» Modelling Generic Judgements
Sort
View
145
Voted
FPT
2005
IEEE
163views Hardware» more  FPT 2005»
15 years 9 months ago
Designing an FPGA SoC Using a Standardized IP Block Interface
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...
Lesley Shannon, Blair Fort, Samir Parikh, Arun Pat...
ICALT
2005
IEEE
15 years 9 months ago
Force Feedback Slider (FFS): Interactive Device for Learning System Dynamics
Physics education often relies on visualization of theoretical laws. While Java animations are widespread, they mostly lack user interaction. We propose a haptic device inviting u...
Adjan Kretz, Remo Huber, Morten Fjeld
117
Voted
ICRA
2005
IEEE
120views Robotics» more  ICRA 2005»
15 years 9 months ago
Complex Objects Pose Estimation based on Image Moment Invariants
— Moments are generic (and usually intuitive) descriptors that can be computed from several kinds of objects defined either from closed contours or from a set of points. In this...
Omar Tahri, François Chaumette
119
Voted
APLAS
2005
ACM
15 years 9 months ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
William L. Harrison
AIRS
2005
Springer
15 years 9 months ago
Home Photo Categorization Based on Photographic Region Templates
In this paper, we propose new photo categorization which is suitable for a home photo album. To enhance the categorization, both local and global concepts of the photos are modeled...
Sang-Kyun Kim, Seungji Yang, Kyong Sok Seo, Yong M...