Sciweavers

3637 search results - page 443 / 728
» On Dynamic Bit-Probe Complexity
Sort
View
IFIP
2009
Springer
15 years 11 months ago
Supporting Cross-Organizational Process Control
E-contracts express the rights and obligations of parties through a formal, digital representation of the contract provisions. In process intensive relationships, e-contracts conta...
Samuil Angelov, Jochem Vonk, Krishnamurthy Vidyasa...
CAV
2001
Springer
107views Hardware» more  CAV 2001»
15 years 11 months ago
Job-Shop Scheduling Using Timed Automata
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
Yasmina Abdeddaïm, Oded Maler
163
Voted
ICANN
2001
Springer
15 years 11 months ago
Online Symbolic-Sequence Prediction with Discrete-Time Recurrent Neural Networks
This paper studies the use of discrete-time recurrent neural networks for predicting the next symbol in a sequence. The focus is on online prediction, a task much harder than the c...
Juan Antonio Pérez-Ortiz, Jorge Calera-Rubi...
NIME
2001
Springer
205views Music» more  NIME 2001»
15 years 11 months ago
Musical Trinkets
Passive RF Tagging can provide an attractive medium for development of free-gesture musical interfaces. This was initially explored in our Musical Trinkets installation, which use...
Joseph A. Paradiso
195
Voted
DEXAW
2000
IEEE
165views Database» more  DEXAW 2000»
15 years 11 months ago
Summarizing Video Datasets in the Spatiotemporal Domain
In this paper we address the problem of analyzing and managing complex dynamic scenes captured in video. We present an approach to summarize video datasets by analyzing the trajec...
Anthony Stefanidis, Panos Partsinevelos, Peggy Ago...