Sciweavers

1368 search results - page 141 / 274
» Personality-Based Practical Reasoning
Sort
View
ISCAS
2007
IEEE
117views Hardware» more  ISCAS 2007»
16 years 14 days ago
On the Impact of I/Q Imbalance in Multi-Carrier Systems for Different Channel Scenarios
— I/Q imbalance has been identified as one of the most serious concerns in the practical implementation of the direct conversion receiver architecture. Facing the performance-de...
Marcus Windisch, Gerhard Fettweis
CISC
2007
Springer
125views Cryptology» more  CISC 2007»
16 years 11 days ago
Improved and Multiple Linear Cryptanalysis of Reduced Round Serpent
Abstract. This paper reports on the improved and multiple linear cryptanalysis of reduced round Serpent by mean of a branch-and-bound characteristic search within the algorithm. We...
Baudoin Collard, François-Xavier Standaert,...
DALT
2007
Springer
16 years 11 days ago
Composing High-Level Plans for Declarative Agent Programming
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
Felipe Rech Meneguzzi, Michael Luck
ESOP
2007
Springer
16 years 10 days ago
Interprocedurally Analysing Linear Inequality Relations
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
Helmut Seidl, Andrea Flexeder, Michael Petter
LPNMR
2007
Springer
16 years 10 days ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...