2500 search results - page 137 / 500 » Specifying Behavior in C |
109
Voted
AAAI
2000
15 years 4 months ago
2000
We have constructed ADVISOR, a two-agent machine learning architecture for intelligent tutoring systems (ITS). The purpose of this architecture is to centralize the reasoning of a...
117
click to vote
CN
2002
15 years 3 months ago
2002
In ATM networks, the guaranteed frame rate (GFR) service category has been defined to support user applications which are neither able to specify the range of traffic parameter va...
151
click to vote
APSEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
221
click to vote
AOSD
2011
ACM
14 years 10 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
131
click to vote
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...