Sciweavers

6530 search results - page 713 / 1306
» Application Integration
Sort
View
CHI
2006
ACM
16 years 7 months ago
Balance pass: service design for a healthy college lifestyle
This paper describes the design of a service that provides nutritional feedback to female college freshmen. A variety of background research methods-food journals, competitive pro...
Aditya Chand, Monica Gonzalez, Julian Missig, Puri...
VLSID
2004
IEEE
128views VLSI» more  VLSID 2004»
16 years 7 months ago
A Compact Low-Power Buffer Amplifier with Dynamic Bias Control Technique
This work presents a novel dynamic bias control technique to verify the circuit performance of the lowpower rail-to-rail input/output buffer amplifier, which can be operating in s...
Chih-Jen Yen, Wen-Yaw Chung, Mely Chen Chi
CHI
2001
ACM
16 years 7 months ago
DataTiles: a modular platform for mixed physical and graphical interactions
The DataTiles system integrates the benefits of two major interaction paradigms: graphical and physical user interfaces. Tagged transparent tiles are used as modular construction ...
Jun Rekimoto, Brygg Ullmer, Haruo Oba
CADE
2008
Springer
16 years 7 months ago
Combining Theorem Proving with Natural Language Processing
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
Björn Pelzer, Ingo Glöckner
CADE
2007
Springer
16 years 7 months ago
Hyper Tableaux with Equality
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
Björn Pelzer, Peter Baumgartner, Ulrich Furba...