5550 search results - page 354 / 1110 » Different Approaches to Proof Systems |
198
click to vote
APVIS
2009
15 years 8 months ago
2009
Although significant progress has been made toward effective insight discovery in visual sense making approaches, there is a lack of effective and efficient approaches to manage t...
205
click to vote
WACV
2005
IEEE
16 years 11 days ago
2005
IEEE
In this paper we propose an approach to count the number of pedestrians, given a trajectory data set provided by a tracking system. The tracking process itself is treated as a bla...
206
click to vote
IRI
2005
IEEE
16 years 12 days ago
2005
IEEE
Heterogeneous systems are systems that obey different functioning laws. For instance, during the design of embedded systems, it is generally necessary to study both the controller...
253
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
Most spreadsheets, like other software, change over time. A frequently occurring scenario is the repeated reuse and adaptation of spreadsheets from one project to another. If seve...
197
click to vote
GAMESEC
2010
15 years 4 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...