Sciweavers

2251 search results - page 145 / 451
» Specification and Implementation Problems for C
Sort
View
APIN
2000
155views more  APIN 2000»
15 years 3 months ago
Defeasible Logic on an Embedded Microcontroller
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
Michael A. Covington
HICSS
2009
IEEE
111views Biometrics» more  HICSS 2009»
15 years 10 months ago
Signs: Increasing Expression and Clarity in Instant Messaging
Despite its popularity, commercial instant messaging has changed little in the past 15 years. Conversations are linear, immutable, and susceptible to errors in turn-taking and ref...
Aaron Zinman, Judith S. Donath
131
Voted
RIDE
1999
IEEE
15 years 8 months ago
Use of Roles and Policies for Specifying and Managing a Virtual Enterprise
One of the problems faced by an organisation participating in a virtual enterprise is how to specify internal and external aspects of the organisation in terms of the organisation...
Emil Lupu, Zoran Milosevic, Morris Sloman
140
Voted
EMO
2006
Springer
182views Optimization» more  EMO 2006»
15 years 7 months ago
Multi-objective Pole Placement with Evolutionary Algorithms
Multi-Objective Evolutionary Algorithms (MOEA) have been succesfully applied to solve control problems. However, many improvements are still to be accomplished. In this paper a new...
Gustavo Sánchez, Minaya Villasana, Miguel S...
ILP
2000
Springer
15 years 7 months ago
Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
Floriana Esposito, Donato Malerba, Francesca A. Li...