780 search results - page 53 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
EKAW
2006
Springer
13 years 11 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
TSP
2008
13 years 7 months ago
2008
This paper studies the behavior of the low-rank least mean squares (LMS) adaptive algorithm for the general case in which the input transformation may not capture the exact input s...
PPDP
1999
Springer
13 years 12 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
SI3D
2006
ACM
14 years 1 months ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...
COGSCI
2004
13 years 7 months ago
2004
A central issue in bilingual research concerns the extent to which linguistic representations in the two languages are processed independently of each other. This paper reports th...