5550 search results - page 270 / 1110 » Different Approaches to Proof Systems |
160
click to vote
ICGI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Grammatical inference is typically defined as the task of finding a compact representation of a language given a subset of sample sequences from that language. Many di...
184
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. The archetype of many novel research activities is called cognition. Although separate definitions exist to define a technical cognitive system, it is typically character...
194
click to vote
ALGORITHMICA
2011
14 years 10 months ago
2011
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. This gives rise to dual-objective scheduling problems, where the operati...
222
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
A Normative Multi-Agent System consists of autonomous agents who must comply with social norms. Different kinds of norms make different assumptions about the cognitive architecture...
168
click to vote
NLDB
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. In this paper, we describe a new way to access information by “chatting” to an information source. This involves a chatbot, a program that emulates human conversation...