Sciweavers

31686 search results - page 377 / 6338
» Resource typing in Guru
Sort
View
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ä...
148
Voted
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
ECAI
2004
Springer
15 years 11 months ago
Type Checking in Open-Domain Question Answering
Open domain question answering (QA) systems have to bridge the potential vocabulary mismatch between a question and its candidate answers. One can view this as a recall problem and...
Stefan Schlobach, Marius Olsthoorn, Maarten de Rij...