18429 search results - page 180 / 3686 » Typing dynamic typing |
114
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
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...
177
Voted
SAS
2005
Springer
15 years 11 months ago
2005
Springer
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...
160
click to vote
ETRA
2004
ACM
15 years 11 months ago
2004
ACM
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...
146
click to vote
ADBIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...
135
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
: 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...