6020 search results - page 969 / 1204 » A New Approach to Model Counting |
230
click to vote
CW
2008
IEEE
16 years 27 days ago
2008
IEEE
—This paper describes an automatic 3D surface scanning technique using a 3D scanner. It allows the acquisition of a complete surface model of a 3D artifact without any manual reg...
169
click to vote
GLOBECOM
2008
IEEE
16 years 27 days ago
2008
IEEE
—Many data center devices, for instance packet switches, can be modeled within the context of resource constrained queueing systems. In this paper, we define a novel algorithm c...
180
click to vote
SECON
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
151
click to vote
AIMS
2008
Springer
16 years 24 days ago
2008
Springer
Abstract. Many researchers have used game theory to study the problem of encouraging cooperation in peer-to-peer and mobile ad hoc networks, where resources are provided collective...
155
click to vote
ICASSP
2007
IEEE
16 years 23 days ago
2007
IEEE
Recently, profile context-sensitive HMMs (profile-csHMMs) have been proposed which are very effective in modeling the common patterns and motifs in related symbol sequences. Pro...