Sciweavers

4731 search results - page 229 / 947
» Securing Interactive Programs
Sort
View
153
Voted
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 4 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
RC
2000
99views more  RC 2000»
15 years 2 months ago
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations
Conventional plotting programs adopt techniques such as adaptive sampling to approximate, but not to guarantee, correctness and completeness in graphing functions. Moreover, implic...
Timothy J. Hickey, Zhe Qju, Maarten H. van Emden
TVCG
2010
194views more  TVCG 2010»
15 years 24 days ago
Declarative Language Design for Interactive Visualization
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
Jeffrey Heer, Michael Bostock
CHI
2010
ACM
15 years 9 months ago
Rethinking RFID: awareness and control for interaction with RFID systems
People now routinely carry radio frequency identification (RFID) tags – in passports, driver’s licenses, credit cards, and other identifying cards – where nearby RFID reader...
Nicolai Marquardt, Alex S. Taylor, Nicolas Villar,...
ICMCS
2006
IEEE
371views Multimedia» more  ICMCS 2006»
15 years 8 months ago
Automatic Counting of Interacting People by using a Single Uncalibrated Camera
Automatic counting of people, entering or exiting a region of interest, is very important for both business and security applications. This paper introduces an automatic and robus...
Senem Velipasalar, Ying-li Tian, Arun Hampapur