3507 search results - page 258 / 702 » Specialized execution environments |
216
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
190
click to vote
CGI
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a purely hardware-accelerated shadow volume algorithm for subdivision surface based models. By introducing SP (subdivision patterns), all procedures, including ...
189
Voted
CEC
2005
IEEE
16 years 21 days ago
2005
IEEE
Abstract- Branch-and-Bound and evolutionary algorithms represent two very different approaches for tackling combinatorial optimization problems. These approaches are not incompatib...
171
click to vote
ICMCS
2005
IEEE
16 years 20 days ago
2005
IEEE
The Integrated Health Log demonstrator shows how multimedia can be used in collaborative settings in healthcare. Patient data can be shared annotated discussed and processed by me...
196
click to vote
VL
2005
IEEE
16 years 19 days ago
2005
IEEE
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...