4480 search results - page 512 / 896 » Prototyping Completion with Constraints Using Computational ... |
145
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
179
Voted
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
Using motion capture systems to animate humanlike figures still remains difficult when the movements are complex or need to be adapted to geometric constraints. We propose a new m...
189
click to vote
VECPAR
2000
Springer
15 years 10 months ago
2000
Springer
A parallel implementation of the specialized interior-point algorithm for multicommodity network flows introduced in [5] is presented. In this algorithm, the positive definite syst...
199
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Pulse compression radar systems make use of transmit code sequences and receive filters that are specially designed to achieve good range resolution and target detection capabili...
187
click to vote
HPCC
2007
Springer
16 years 27 days ago
2007
Springer
As Grids become increasingly relied upon as critical infrastructure, it is imperative to ensure the highly-available and secure day-to-day operation of the Grid infrastructure. The...