250 search results - page 47 / 50 » State Isomorphism in Model Programs with Abstract Data Struc... |
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
ALGORITHMICA
1999
14 years 9 months ago
1999
Abstract. The rational approach to pharmaceutical drug design begins with an investigation of the relationship between chemical structure and biological activity. Information gaine...
IPMI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In this paper we propose a novel approach to define task-driven regularization constraints in deformable image registration using learned deformation priors. Our method ...