14382 search results - page 39 / 2877 » Time in Connectionist Models |
FORTE
2010
14 years 11 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
TIME
1998
IEEE
15 years 2 months ago
1998
IEEE
107
click to vote
DSRT
2008
IEEE
14 years 11 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...
FORMATS
2003
Springer
15 years 3 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
114
click to vote
KDD
2012
ACM
13 years 12 days ago
2012
ACM
Many data are modeled as tensors, or multi dimensional arrays. Examples include the predicates (subject, verb, object) in knowledge bases, hyperlinks and anchor texts in the Web g...