3106 search results - page 396 / 622 » Both Generic Design and Different Forms of Designing |
171
click to vote
CAINE
2003
15 years 8 months ago
2003
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
149
Voted
FLAIRS
2003
15 years 8 months ago
2003
One challenge in text processing is the treatment of case insensitive documents such as speech recognition results. The traditional approach is to re-train a language model exclud...
336
click to vote
ICDE
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper presents an overview of Microsoft SQLServer for Windows CE. This is a database engine designed for mobile and embedded applications. The focus of the presentation is on...
199
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
Charging of services in a distributed system will become more and more important for systems which are utilized commercially. Such an important distributed system exists in form o...
153
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...