Sciweavers

1165 search results - page 135 / 233
» Databases and Natural Language Interfaces
Sort
View
127
Voted
DMS
2010
203views Multimedia» more  DMS 2010»
15 years 1 months ago
Recognizing Sketches of Euler Diagrams Drawn with Ellipses
Euler diagrams form the basis of a number of visual languages. However, the existing tool support for creating Euler diagrams is limited to generic diagram editing software that u...
Aidan Delaney, Beryl Plimmer, Gem Stapleton, Peter...
217
Voted
POPL
2004
ACM
16 years 2 months ago
A logic you can count on
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonni...
OOPSLA
2009
Springer
15 years 9 months ago
Self type constructors
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
Chieri Saito, Atsushi Igarashi
128
Voted
DASFAA
2007
IEEE
266views Database» more  DASFAA 2007»
15 years 9 months ago
Compatibility Analysis and Mediation-Aided Composition for BPEL Services
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
Wei Tan, Fangyan Rao, Yushun Fan, Jun Zhu
CHI
2004
ACM
16 years 2 months ago
Towards caring machines
The perception of feeling cared for has beneficial consequences in education, psychotherapy, and medicine. Results from a longitudinal study of simulated caring by a computer are ...
Timothy W. Bickmore, Rosalind W. Picard