320 search results - page 40 / 64 » Conditionals and consequences |
PEPM
2007
ACM
14 years 4 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
3DPVT
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper demonstrates that, for axial non-central optical systems, the equation of a 3D line can be estimated using only four points extracted from a single image of the line. T...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. This motivates the use of real workloads (as recorded in activity logs) to drive simulations of n...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— In this paper we present a mathematical model of the TRIKKE, a human-powered scooter produced by Trikke Tech Inc. The Trikke is a three-wheeled, single-rider vehicle that can b...