Sciweavers

2958 search results - page 416 / 592
» Extending and Implementing RASP
Sort
View
ATAL
2001
Springer
15 years 8 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 8 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 8 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 8 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 8 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...