3161 search results - page 547 / 633 » Documenting framework behavior |
126
click to vote
MVA
1998
15 years 3 months ago
1998
Current NASA plans call for extended year-long, multikilometer treks for the 2003 and 2005 Mars missions. A much greater amount of rover autonomy is required compared to the recen...
117
click to vote
AAAI
1994
15 years 3 months ago
1994
Case-based reasoning (CBR) has a great deal to o er in supporting creative design, particularly processes that rely heavily on previous design experience, such as framing the prob...
122
click to vote
SLP
1994
15 years 3 months ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
122
click to vote
BCSHCI
2009
15 years 3 months ago
2009
Although user behavior in the popular Facebook social network site has been intensely investigated since the site came live in 2004, we know little about users' emotions and ...
110
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...