We present a technique for devising a progress indicator of static analyzers. Progress indicator is a useful user interface that shows how close a static analysis has progressed so far to its completion. Because static analysis’ progress depends on the semantic complexity, not on the code size, of the target software, devising an accurate progressindicator is not obvious. Our technique first co...

In April 2013, ten cases of dengue fever in travellers returning from Luanda, Angola, to five countries on four continents, were reported to the globally distributed GeoSentinel Surveillance network. Dengue virus serotype 1 was identified in two cases. The findings indicate that a major dengue outbreak is currently ongoing in Luanda. This report illustrates how cases from an emerging arboviral ...

the Management of Dependences between Activities Sylvain Lizotte & Brahim Chaib-draa Computer Science Department, Laval University, Ste-Foy, PQ, Canada, G1K 7P4 e-mail: {lizotte,chaib}@ift.ulaval.ca Short form of the title: Coordination = Management of Dependences Author to whom correspondence should be sent: B. Chaib-draa Mailing address: Département Informatique, Pav. Pouliot, Université Lava...

The recent progress in artificial intelligence is allowing assistive systems like the voice-based assistant, virtual agents to become more personalized and adaptable. The role of these systems is also shifting from being a mere assistant to a personal companion. However ‘personal companionship’ being a subjective term lies open to interpretation, thus posing a challenge for the creators of thes...

Despite all theoretically and empirically motivated criticism of GDP as a social welfare and progress indicator, its role in economics, public policy, politics and society continues to be influential. To resolve this paradox, one has to recognize that many economists accept the criticism of the GDP indicator but deny its relevance. This paper evaluates the reasons for denial. This entails five ...

This paper describes an efficient yet accurate methodology for estimating system damping. The proposed technique is based on linear dynamic system theory and the Hilbert damping analysis. The proposed technique requires capacitor switching waveforms only. The detected envelope of the intrinsic transient portion of the voltage waveform after capacitor bank energizing and its decay rate along wit...

This paper presents an initial investigation into the use of Tactons, or tactile icons, to present progress information in desktop human-computer interfaces. Progress bars are very common in a wide range of interfaces but have problems. For example, they must compete for screen space and visual attention with other visual tasks such as document editing or web browsing. To address these problems...

Recent advances in web-enabled graphics technologies have the potential to make a dramatic impact on developing highly interactive Geovisual Analytics applications for the Internet. An emerging and challenging application domain is geovisualization of regional (sub-national) statistics. Higher integration driven by institutional processes and economic globalisation is eroding national borders a...

Over the years, competitions have been important catalysts for progress in Artificial Intelligence. We describe one such competition, the Trading Agent Competition for Supply Chain Management (TAC SCM). We discuss its significance in the context of today’s global market economy as well as AI research, the ways in which it breaks away from limiting assumptions made in prior work, and some of the...

A near ubiquitous feature of user interfaces is feedback on task completion or progress indicators such as the graphical bar that grows as more of the task is completed. The presumed benefit is that users will be more likely to complete the task if they see they are making progress but it is also possible that feedback indicating slow progress may sometimes discourage users from completing the ...