Sciweavers

1562 search results - page 137 / 313
» Convenience Over Correctness
Sort
View
IJCNN
2006
IEEE
14 years 3 months ago
High-speed Bi-directional Function Approximation using Plausible Neural Networks
— This paper applies a recently developed neural network called plausible neural network (PNN) to function approximation. Instead of using error correction, PNN estimates the mut...
Kuo-Chen Li, Dar-Jen Chang, Yuan Yan Chen
RTCSA
2006
IEEE
14 years 3 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
ADC
2006
Springer
142views Database» more  ADC 2006»
14 years 3 months ago
An optimization for query answering on ALC database
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
Pakornpong Pothipruk, Guido Governatori
3DIM
2005
IEEE
14 years 3 months ago
Projective Surface Matching of Colored 3D Scans
We present a new method for registering multiple 3D scans of a colored object. Each scan is regarded as a color and range image of the object recorded by a pinhole camera. Conside...
Kari Pulli, Simo Piiroinen, Tom Duchamp, Werner St...
EEE
2005
IEEE
14 years 3 months ago
Who Counts Your Votes?
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...
Halina Kaminski, Lila Kari, Mark Perry