Sciweavers

1368 search results - page 141 / 274
» Personality-Based Practical Reasoning
Sort
View
ISCAS
2007
IEEE
117views Hardware» more  ISCAS 2007»
15 years 9 months 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»
15 years 9 months 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
15 years 9 months 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
15 years 9 months 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
124
Voted
LPNMR
2007
Springer
15 years 9 months 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...