5754 search results - page 350 / 1151 » Multi-class Model M |
155
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
157
click to vote
IAT
2006
IEEE
16 years 24 days ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
137
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
Finding images over the internet can be trying at best. Many industries such as advertising, marketing, image consultants, print media, and medical imaging deal with electronic im...
185
click to vote
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
Traditional techniques for building dependable, highperformance distributed systems are too expensive for most non-critical systems, often causing dependability to be sidelined as...
170
click to vote
EUROPAR
2005
Springer
16 years 8 days ago
2005
Springer
Grid-BGC is a Grid-enabled terrestrial biogeochemical cycle simulator collaboratively developed by the National Center for Atmospheric Research (NCAR) and the University of Colorad...