Sciweavers

620 search results - page 75 / 124
» About the logical relations between cases and rules
Sort
View
ICTAI
2008
IEEE
15 years 6 months ago
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
Éric Grégoire, Bertrand Mazure, C&ea...
SARA
2007
Springer
15 years 6 months ago
Extensional Reasoning
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
Timothy L. Hinrichs
ATAL
2007
Springer
15 years 6 months ago
A Dynamic Coordination Mechanism Using Adjustable Autonomy
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...
Bob van der Vecht, Frank Dignum, John-Jules Ch. Me...
EWHCI
1993
15 years 4 months ago
Model of Utterance and Its Use in Cooperative Response Generation
: A cooperative response model is proposed for interactive intelligent systems that recognizes user intentions and makes cooperative responses. Though many models developed so far ...
Koichi Yamada, Riichiro Mizoguchi, Naoki Harada, A...
ICC
2007
IEEE
142views Communications» more  ICC 2007»
15 years 6 months ago
Generalized CRLB for DA and NDA Synchronization of UWB Signals with Clock Offset
—In this paper the Cramér-Rao lower bound (CRLB) of an ultra-wideband (UWB) pulse amplitude modulated (PAM) signal with time hopping (TH) code is derived for the practical case ...
Saeed Khalesehosseini, John Nielsen