1746 search results - page 246 / 350 » A Constructive Semantics for ALC |
137
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
121
Voted
AAAI
2012
13 years 3 months ago
2012
We are developing a testbed for learning by demonstration combining spoken language and sensor data in a natural real-world environment. Microsoft Kinect RGBDepth cameras allow us...
224
click to vote
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
RFID technology provides significant advantages over traditional object-tracking technology and is increasingly adopted and deployed in real applications. RFID applications genera...
125
click to vote
WWW
2006
ACM
16 years 1 months ago
2006
ACM
Applications and services that access Web data are becoming increasingly more useful and wide-spread. Current main-stream Web query languages such as XQuery, XSLT, or SPARQL, howe...
116
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study methods that allow web sites to safely combine JavaScript from untrusted sources. If implemented properly, filters can prevent dangerous code from loading into t...