8766 search results - page 498 / 1754 » Functional logic programming |
131
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
142
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
We propose a low-overhead scan design methodology which employs a new test point insertion technique to establish scan paths through the functional logic. The technique re-uses th...
142
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
143
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
145
click to vote
RULEML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...