Sciweavers

2270 search results - page 145 / 454
» The Quality of Knowledge: Knowledge Patterns and Knowledge R...
Sort
View
JOLLI
2007
128views more  JOLLI 2007»
15 years 6 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
JSAC
2007
69views more  JSAC 2007»
15 years 6 months ago
Multi-Antenna Downlink Channels with Limited Feedback and User Selection
Abstract— We analyze the sum-rate performance of a multiantenna downlink system carrying more users than transmit antennas, with partial channel knowledge at the transmitter due ...
Taesang Yoo, Nihar Jindal, Andrea J. Goldsmith
JUCS
2010
139views more  JUCS 2010»
15 years 1 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...

Book
323views
17 years 4 months ago
Adaptive Object-Oriented Software: a PWS book
"This book introduces a software development method, called the Demeter Method, for developing adaptive object-oriented software. The reader will learn the Demeter Method for...
Karl J. Lieberherr
KDD
1997
ACM
109views Data Mining» more  KDD 1997»
15 years 10 months ago
Beyond Concise and Colorful: Learning Intelligible Rules
A variety of techniques from statistics, signal processing, pattern recognition, machine learning, and neural networks have been proposed to understand data by discovering useful ...
Michael J. Pazzani, Subramani Mani, William Rodman...