7892 search results - page 272 / 1579 » Programming with Models |
233
click to vote
LPNMR
2011
Springer
14 years 4 months ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
106
click to vote
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...
117
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
110
click to vote
IEEEPACT
1999
IEEE
15 years 6 months ago
1999
IEEE
Trace cache, an instruction fetch technique that reduces taken branch penalties by storing and fetching program instructions in dynamic execution order, dramatically improves inst...
HRI
2007
ACM
15 years 5 months ago
2007
ACM
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...