16218 search results - page 514 / 3244 » Standards |
217
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
178
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Online privacy policies are difficult to understand. Most privacy policies require a college reading level and an ability to decode legalistic, confusing, or jargon-laden...
184
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Electronic control units and on-board networks for automotive applications cover a big variety of functions that in many cases are responsible of safetycritical behavior of the ve...
150
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This section will provide insight into new developments and advances in electronics automotive architectures. The design of innovative chip architectures, new upcoming standards f...
189
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose a new partial closure-based constrained clustering algorithm. We introduce closures into the partial constrained clustering and we propose a new measureme...