4770 search results - page 841 / 954 » Flexible Type Analysis |
162
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We present an observational study that was conducted to guide the design and development of technologies to support information flow during nurses' shift change in a hospital...
274
Voted
POPL
2004
ACM
16 years 6 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
186
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
2. Support for User Interaction Source Viewer 3D is a software visualization framework that uses a 3D metaphor to represent software system and analysis data. The 3D representation...
179
click to vote
ICDE
2010
IEEE
16 years 5 months ago
2010
IEEE
We address the problem of updating XML views over relational data by translating view updates expressed in the XQuery update facility to embedded SQL updates. Although our XML view...
170
Voted
ALT
2005
Springer
16 years 3 months ago
2005
Springer
In language learning, strong relationships between Gold-style models and query models have recently been observed: in some quite general setting Gold-style learners can be replaced...