Sciweavers

2958 search results - page 416 / 592
» Extending and Implementing RASP
Sort
View
ATAL
2001
Springer
15 years 11 months ago
KSACI: A Handheld Device Infrastructure for Agents Communication
The recent development of software platforms for cell phones and handheld computers, such as Java 2 Micro Edition (J2ME), has broadened application perspectives in this area. In fa...
Ryan L. Albuquerque, Jomi Fred Hübner, Gustav...
CP
2001
Springer
15 years 11 months ago
Solving Non-binary CSPs Using the Hidden Variable Encoding
Non-binary constraint satisfaction problems (CSPs) can be solved in two different ways. We can either translate the problem into an equivalent binary one and solve it using well-e...
Nikos Mamoulis, Kostas Stergiou
ECOOP
2001
Springer
15 years 11 months ago
Precise Constraint-Based Type Inference for Java
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
Tiejun Wang, Scott F. Smith
EUROCRYPT
2001
Springer
15 years 11 months ago
Finding Secure Curves with the Satoh-FGH Algorithm and an Early-Abort Strategy
The use of elliptic curves in cryptography relies on the ability to count the number of points on a given curve. Before 1999, the SEA algorithm was the only efficient method known ...
Mireille Fouquet, Pierrick Gaudry, Robert Harley
SIGGRAPH
2010
ACM
15 years 11 months ago
Micropolygon ray tracing with defocus and motion blur
We present a micropolygon ray tracing algorithm that is capable of efficiently rendering high quality defocus and motion blur effects. A key component of our algorithm is a BVH (...
Qiming Hou, Hao Qin, Wenyao Li, Baining Guo, Kun Z...