6020 search results - page 486 / 1204 » A New Approach to Model Counting |
189
click to vote
3DPVT
2002
IEEE
16 years 4 hour ago
2002
IEEE
In many applications surfaces with a large number of primitives occur. Geometry compression reduces storage space and transmission time for such models. A special case is given by...
186
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
Searching the internet using the currently available searchengines is not satisfactory. Thetechniquesused there focus on the extraction of relevant informationdirectlyfrom the doc...
165
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...
217
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...
171
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
We develop a new model-based extraction process guided by biomechanical analysis for walking people, and analyse its data for recognition capability. Hierarchies of shape and moti...