4212 search results - page 295 / 843 » Rights Expression Languages |
200
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
175
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose a non-iterative solution to the PnP problem--the estimation of the pose of a calibrated camera from n 3D-to-2D point correspondences--whose computational complexity gro...
177
click to vote
SAFECOMP
2004
Springer
15 years 12 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
164
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
We believe that the possibility to use SPARQL as a front end to heterogeneous data without significant cost in performance or expressive power is key to RDF taking its rightful pla...
160
click to vote
BIOSYSTEMS
2007
15 years 6 months ago
2007
Alternative pathways through a gene regulation network connect a regulatory molecule to its (indirect) regulatory target via different intermediate regulators. We here show for tw...