Sciweavers

2203 search results - page 239 / 441
» Temporal Abstract Interpretation
Sort
View
NGC
2002
Springer
107views Communications» more  NGC 2002»
15 years 3 months ago
An Information Management System with the Facility to Support Long-term Creative Thinking
Abstract Most previous creativity support systems sustain shortterm temporal thinking that is separate from users' daily activities. In this paper, we propose a system to supp...
Hirohito Shibata, Koichi Hori
IJSR
2010
107views more  IJSR 2010»
15 years 2 months ago
Domestic Robot Ecology - An Initial Framework to Unpack Long-Term Acceptance of Robots at Home
Abstract It has been recognized that long-term effects exist in the interaction with robotic technologies. Despite this recognition, we still know little about how the temporal eff...
Ja-Young Sung, Rebecca E. Grinter, Henrik I. Chris...
VC
2010
182views more  VC 2010»
15 years 2 months ago
Color invariant chroma keying and color spill neutralization for dynamic scenes and cameras
Abstract In this article we show, how temporal backdrops that alternately change their color rapidly at recording rate can aid chroma keying by transforming color spill into a neut...
Anselm Grundhöfer, Daniel Kurz, Sebastian Thi...
AMCS
2011
341views Mathematics» more  AMCS 2011»
14 years 11 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
PAMI
2010
218views more  PAMI 2010»
14 years 10 months ago
A Coupled Duration-Focused Architecture for Real-Time Music-to-Score Alignment
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...
Arshia Cont