Sciweavers

3824 search results - page 309 / 765
» Geometry Constructions Language
Sort
View
129
Voted
IPPS
2000
IEEE
15 years 9 months ago
Predictability and Resource Management in Distributed Multimedia Presentations
Abstract. The continuous media applications have an implied temporal dimension, i.e. they are presented at a particular rate for a particular length of time and if the required rat...
Costas Mourlas
HICSS
1999
IEEE
89views Biometrics» more  HICSS 1999»
15 years 9 months ago
Virtualization of Organizations: Consequences for Workflow Modeling
In this paper we propose to introduce novel constructs for workflow modeling in the context of changing the organization of work when virtualizing organizations. We do not only de...
Wolfgang Ortner, Christian Stary
ITICSE
1996
ACM
15 years 9 months ago
Integrating animations into courses
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
Susan H. Rodger
FOCS
1989
IEEE
15 years 8 months ago
A Really Temporal Logic
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
Rajeev Alur, Thomas A. Henzinger
CIKM
2009
Springer
15 years 8 months ago
Building domain-oriented sentiment lexicon by improved information bottleneck
This paper describes an adapted information bottleneck approach for construction of domain-oriented sentiment lexicon. The basic idea is to use three kinds of relationships (WWint...
Weifu Du, Songbo Tan