Sciweavers

353 search results - page 29 / 71
» Advanced prototyping with fritzing
Sort
View
DAGSTUHL
2004
13 years 8 months ago
Adaptive Rich Media Presentations via Preference-Based Constrained Optimization
Personalization and adaptation of multi-media messages are well known and well studied problems. Ideally, each message should reflect its recipient's interests, device capabi...
Ronen I. Brafman, Doron A. Friedman
AMT
2010
Springer
230views Multimedia» more  AMT 2010»
13 years 7 months ago
Visual Image Browsing and Exploration (Vibe): User Evaluations of Image Search Tasks
One of the fundamental challenges in designing an image retrieval system is choosing a method by which the images that match a given query are presented to the searcher. Traditiona...
Grant Strong, Orland Hoeber, Minglun Gong
BIRTHDAY
2010
Springer
13 years 7 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka
CORR
2008
Springer
76views Education» more  CORR 2008»
13 years 6 months ago
Fabrication of MEMS Resonators in Thin SOI
A simple and fast process for micro-electromechanical (MEM) resonators with deep sub-micron transduction gaps in thin SOI is presented in this paper. Thin SOI wafers are important...
Daniel Grogg, Nicoleta Diana Badila-Ciressan, Adri...
JIKM
2006
167views more  JIKM 2006»
13 years 6 months ago
Learning Trajectory Information with Neural Networks and the Markov Model to Develop Intelligent Location-Based Services
In the development of location-based services, various location-sensing techniques and experimental/commercial services have been used. However, conventional location-based service...
Sang-Jun Han, Sung-Bae Cho