1064 search results - page 183 / 213 » Disjoint Systems (Extended Abstract) |
176
Voted
JOT
2007
15 years 3 months ago
2007
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...
122
Voted
TAPOS
1998
15 years 3 months ago
1998
There is a growing need, both for use within corporate intranets and within the rapidly evolving World Wide Web, to develop tools that are able to retrieve relevant textual inform...
193
Voted
ADMI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Autonomous agents are systems situated in dynamic environments. They pursue goals and satisfy their needs by responding to external events from the environment. In these ...
112
Voted
ASSETS
2010
ACM
2010
ACM
Investigating meaning in uses of assistive devices: implications of social and professional contexts
15 years 2 months ago
sible goal crossing desktop widgets. Extended Abstracts of the ACM Conference on Human Factors in Computing Systems. (Boston, Massachusetts April 4-9, 2009). CHI '09. ACM, New...
138
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...