3222 search results - page 383 / 645 » A Data Model for Effectively Computable Functions |
166
click to vote
JSW
2008
15 years 6 months ago
2008
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
180
click to vote
COMPSAC
2007
IEEE
16 years 14 days ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
128
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
170
Voted
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
A large photo collection downloaded from the internet spans a wide range of scenes, cameras, and photographers. In this paper we introduce several novel priors for statistics of su...
164
Voted
FMCAD
2009
Springer
16 years 21 days ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...