2444 search results - page 340 / 489 » Feature Construction for Back-Propagation |
144
click to vote
OOPSLA
2007
Springer
16 years 15 days ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
189
click to vote
OOPSLA
2007
Springer
16 years 15 days ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
149
click to vote
PPDP
2007
Springer
16 years 14 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
153
click to vote
RR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
156
click to vote
TACAS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...