6740 search results - page 1046 / 1348 » Using Classification as a Programming Language |
189
click to vote
ECBS
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
152
click to vote
ESCIENCE
2006
IEEE
16 years 23 days ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
201
click to vote
HAPTICS
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper describes the development of haptic paddle laboratory kits and associated National Instruments LabVIEW virtual instrumentation to support the adaptation of laboratory e...
181
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
164
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...