Sciweavers

4008 search results - page 10 / 802
» An expressive language of signatures
Sort
View
CHI
2009
ACM
14 years 8 months ago
Using language tests and emotional expressions to determine the learnability of artificial languages
The study described hereunder lies within the context of a larger project focusing on the design and implementation of a "Robotic Interaction Language". The research goa...
Omar Mubin, Suleman Shahid, Christoph Bartneck, Em...
BIOTECHNO
2008
IEEE
14 years 2 months ago
Grouping Levels of Exposure with Same Observable Effects before Class Prediction in Toxicogenomics
—Gene expression profiling in toxicogenomics is often used to find molecular signature of toxicants. The range of doses chosen in toxicogenomics studies does not always represe...
Vincent Guillemot, Cathy Philippe, Arthur Tenenhau...
VMCAI
2010
Springer
14 years 2 months ago
Regular Linear Temporal Logic with Past
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
César Sánchez, Martin Leucker
KDD
2000
ACM
95views Data Mining» more  KDD 2000»
13 years 11 months ago
Hancock: a language for extracting signatures from data streams
Corinna Cortes, Kathleen Fisher, Daryl Pregibon, A...
ICTAC
2007
Springer
14 years 1 months ago
Regular Linear Temporal Logic
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
Martin Leucker, César Sánchez