575 search results - page 65 / 115 » Transition systems for designing and reasoning about norms |
CHI
2009
ACM
16 years 3 days ago
2009
ACM
The greatest contributor of CO2 emissions in the average American household is personal transportation. Because transportation is inherently a mobile activity, mobile devices are ...
NIPS
2007
15 years 29 days ago
2007
Much of human knowledge is organized into sophisticated systems that are often called intuitive theories. We propose that intuitive theories are mentally represented in a logical ...
ICASSP
2010
IEEE
14 years 11 months ago
2010
IEEE
In commercial spoken dialog systems, call flows are built by call flow designers implementing a predefined business logic. While it may appear obvious from this logic how the c...
100
click to vote
EUMAS
2006
15 years 28 days ago
2006
When developing BDI agent-based systems, some design patterns such as incompatible intentions, multiple strategies, intention decomposition, etc. would be very useful for specifyi...
105
click to vote
EUROPAR
2005
Springer
15 years 5 months ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...