Sciweavers

1005 search results - page 80 / 201
» Temporal Structures
Sort
View
81
Voted
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
14 years 8 months ago
A probabilistic approach for control of a stochastic system from LTL specifications
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
Morteza Lahijanian, Sean B. Andersson, Calin Belta
OTM
2010
Springer
14 years 8 months ago
Supporting Complex Changes in Evolving Interrelated Web Databanks
In this paper we deal with problems occurring in evolving interrelated Web databanks. Examples of such databanks are networks of interlinked scientific repositories on the Web, man...
Yannis Stavrakas, George Papastefanatos
ACL
1997
14 years 11 months ago
Deriving Verbal and Compositional Lexical Aspect for NLP Applications
Verbal and compositional lexical aspect provide the underlying temporal structure of events. Knowledge of lexical aspect, e.g., (a)telicity, is therefore required for interpreting...
Bonnie J. Dorr, Mari Broman Olsen
AVI
2010
14 years 11 months ago
Tracing genealogical data with TimeNets
We present TimeNets, a new visualization technique for genealogical data. Most genealogical diagrams prioritize the display of generational relations. To enable analysis of famili...
Nam Wook Kim, Stuart K. Card, Jeffrey Heer
ICMCS
2006
IEEE
101views Multimedia» more  ICMCS 2006»
15 years 4 months ago
Video Transcoding for Packet Loss Resilience Based on the Multiple Descriptions
This paper proposes error resilient video transcoding structures based on the multiple description (MD) scheme. Two structures are proposed for different use, namely low complexit...
Il Kim, Nam Cho