2444 search results - page 361 / 489 » Feature Construction for Back-Propagation |
183
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
183
click to vote
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
Macroprogramming is an application development technique for wireless sensor networks (WSNs) where the developer specifies the behavior of the system, as opposed to that of the c...
149
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
192
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
We will discuss here the theoretical, social, technological and practical issues related to quality aspects of software patterns including security and safety aspects. The worksho...
184
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...