Sciweavers

3243 search results - page 558 / 649
» Object Race Detection
Sort
View
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 6 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
151
Voted
KDD
2002
ACM
149views Data Mining» more  KDD 2002»
16 years 6 months ago
A system for real-time competitive market intelligence
A method is described for real-time market intelligence and competitive analysis. News stories are collected online for a designated group of companies. The goal is to detect crit...
Sholom M. Weiss, Naval K. Verma
CHI
2004
ACM
16 years 6 months ago
Human-robot speech interface understanding inexplicit utterances using vision
Speech interfaces should have a capability of dealing with inexplicit utterances including such as ellipsis and deixis since they are common phenomena in our daily conversation. T...
Zaliyana Mohd Hanafiah, Chizu Yamazaki, Akio Nakam...
CADE
2005
Springer
16 years 6 months ago
Proof Planning for First-Order Temporal Logic
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
Claudio Castellini, Alan Smaill
PERCOM
2007
ACM
16 years 5 months ago
Using Digital Cameras for Text Input on Mobile Devices
This paper presents novel text input methods for mobile devices. In particular, it shows how users can capture text from books, newspapers, and other objects by using the digital ...
Frank Siegemund, Muhammad Haroon