Sciweavers

2664 search results - page 152 / 533
» Theory by Process
Sort
View
TPHOL
2000
IEEE
13 years 12 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
ARGMAS
2004
Springer
14 years 1 months ago
Revising Beliefs Through Arguments: Bridging the Gap Between Argumentation and Belief Revision in MAS
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
Fabio Paglieri, Cristiano Castelfranchi
IEE
2008
120views more  IEE 2008»
13 years 8 months ago
Software evolutionary dynamics modelled as the activity of an actor-network
The pressures which act on a software system over its life from inception to retirement are many and varied. It is an important goal in considering software evolvability to unders...
Paul Wernick, Tracy Hall, Chrystopher L. Nehaniv
JIKM
2002
118views more  JIKM 2002»
13 years 8 months ago
Organizational Culture and Knowledge Management
This paper proposes the integration of The Competing Values Framework (Quinn 1984; 1988) with Nonaka and Takeuchi's (1995) knowledge creation and conversion model. Conceptual...
Thou Tin Lim
ICASSP
2010
IEEE
13 years 5 months ago
A supervisory approach to semi-supervised clustering
We propose a new approach to semi-supervised clustering that utilizes boosting to simultaneously learn both a similarity measure and a clustering of the data from given instancele...
Bryan Conroy, Yongxin Taylor Xi, Peter J. Ramadge