175 search results - page 27 / 35 » Certification Support for Automatically Generated Programs |
COMPSAC
1998
IEEE
15 years 2 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
127
click to vote
KDD
2012
ACM
13 years 7 days ago
2012
ACM
Multi-label learning arises in many real-world tasks where an object is naturally associated with multiple concepts. It is well-accepted that, in order to achieve a good performan...
CC
1999
Springer
15 years 2 months ago
1999
Springer
In processors that do not support floating-point instructions, using fixed-point arithmetic instead of floating-point emulation trades off computation accuracy for execution spe...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
102
click to vote
MM
2003
ACM
15 years 3 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...