36320 search results - page 7232 / 7264 » From Code to Models |
150
Voted
PVLDB
2010
15 years 27 days ago
2010
Non-technical users are increasingly adding structures to their data. This gives rise to the need for database design. However, traditional database design is deliberate and heavy...
132
click to vote
SAT
2010
Springer
15 years 27 days ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
141
Voted
SCN
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. A hidden vector encryption scheme (HVE) is a derivation of identity-based encryption, where the public key is actually a vector over a certain alphabet. The decryption ke...
111
click to vote
SIMPRA
2010
15 years 26 days ago
2010
In this paper we derive the singularity-free dynamic equations of vehiclemanipulator systems using a minimal representation. These systems are normally modeled using Euler angles,...
147
click to vote
SOCA
2010
IEEE
15 years 26 days ago
2010
IEEE
In asynchronous event systems, the production of an event is decoupled from its consumption via an event queue. The loose coupling of such systems allows great flexibility as to ...