906 search results - page 104 / 182 » Linking Theories of Concurrency |
ITCC
2003
IEEE
15 years 3 months ago
2003
IEEE
The Cluster-Weighted Modeling (CWM) is emerging as a versatile tool for modeling dynamical systems. It is a mixture density estimator around local models. To be specific, the inpu...
MM
2003
ACM
15 years 3 months ago
2003
ACM
We present a method being developed to extract information about characters’ emotions in films. It is suggested that this information can help describe higher levels of multimed...
BIRTHDAY
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
144
click to vote
WOLLIC
2010
Springer
15 years 2 months ago
2010
Springer
Recently, an axiomatization for functional dependencies (FDs) and multivalued dependencies (MVDs) has been established where arbitrary attributes can be specified as NOT NULL. Tha...
CHI
1998
ACM
15 years 2 months ago
1998
ACM
ActiMates™ Barney™ represents a new form of interactive learning product for two- to five-year old children: a small computer that looks like an animated plush doll. He can be...