Sciweavers

4772 search results - page 280 / 955
» An approach to interface synthesis
Sort
View
AVI
2006
15 years 8 months ago
Contrasting portraits of email practices: visual approaches to reflection and analysis
Over time, many people accumulate extensive email repositories that contain detailed information about their personal communication patterns and relationships. We present three vi...
Adam Perer, Marc A. Smith
RSCTC
2004
Springer
134views Fuzzy Logic» more  RSCTC 2004»
16 years 4 days ago
Rough Set Methods in Approximation of Hierarchical Concepts
Abstract. Many learning methods ignore domain knowledge in synthesis of concept approximation. We propose to use hierarchical schemes for learning approximations of complex concept...
Jan G. Bazan, Sinh Hoa Nguyen, Hung Son Nguyen, An...
CHI
1996
ACM
15 years 11 months ago
MailCall: Message Presentation and Navigation in a Nonvisual Environment
MailCall is a telephone-based messaging system using speech recognition and synthesis. Its nonvisual interaction approaches the usability of visual systems through a combination o...
Matthew Marx, Chris Schmandt
CMSB
2006
Springer
15 years 10 months ago
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
Heike Siebert, Alexander Bockmayr
ATVA
2008
Springer
89views Hardware» more  ATVA 2008»
15 years 8 months ago
Impartial Anticipation in Runtime-Verification
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
Wei Dong, Martin Leucker, Christian Schallhart