4245 search results - page 423 / 849 » Input Modeling |
164
click to vote
SAT
2007
Springer
16 years 29 days ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
160
click to vote
CGI
2006
IEEE
16 years 27 days ago
2006
IEEE
To edit or create the animation of a 3D character model has always been an important but time-consuming task, since the animator usually needs to set up the character’s skeleton,...
182
click to vote
PPPJ
2006
ACM
16 years 24 days ago
2006
ACM
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...
148
click to vote
ADC
2007
Springer
15 years 11 months ago
2007
Springer
Derived horizontal fragmentation is one of the main database distribution design techniques. Unlike primary horizontal fragmentation, the decision of derived horizontal fragmentat...
227
click to vote
AMOST
2007
ACM
15 years 11 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...