Sciweavers

18429 search results - page 180 / 3686
» Typing dynamic typing
Sort
View
EUC
2005
Springer
15 years 11 months ago
Human Position/Height Detection Using Analog Type Pyroelectric Sensors
Abstract. Pyroelectric sensors can detect changes of infrared rays. Usually, typical pyroelectric sensors are the digital output type, used for lighting switches and security syste...
Shinya Okuda, Shigeo Kaneda, Hirohide Haga
177
Voted
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
15 years 11 months ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
ETRA
2004
ACM
107views Biometrics» more  ETRA 2004»
15 years 11 months ago
Effects of feedback on eye typing with a short dwell time
Eye typing provides means of communication especially for people with severe disabilities. Recent research indicates that the type of feedback impacts typing speed, error rate, an...
Päivi Majaranta, Anne Aula, Kari-Jouko Rä...
ADBIS
2004
Springer
93views Database» more  ADBIS 2004»
15 years 11 months ago
Query Rewriting Using Views in a Typed Mediator Environment
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...
Leonid A. Kalinichenko, Dmitry O. Martynov, Sergey...
CAISE
2004
Springer
15 years 11 months ago
Information Modeling and Higher-order Types
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
Terry A. Halpin