10910 search results - page 1868 / 2182 » Input modeling using a computer algebra system |
180
click to vote
CC
2012
Springer
14 years 1 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
163
Voted
MIDDLEWARE
2007
Springer
16 years 8 days ago
2007
Springer
Resource brokering in Grids is nowadays handled by resource brokers that require detailed knowledge of the state of the resources that they broker. In business settings, surrender...
172
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
160
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Learning from experience is a basic task of human brain that is not yet fulfilled satisfactorily by computers. Therefore, in recent years to cope with this issue, bio-inspired app...
160
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...