Sciweavers

1855 search results - page 27 / 371
» System Consequence
Sort
View
ISSAC
2005
Springer
119views Mathematics» more  ISSAC 2005»
15 years 3 months ago
Computing the multiplicity structure in solving polynomial systems
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
Barry H. Dayton, Zhonggang Zeng
POS
1998
Springer
15 years 2 months ago
The Transactional Object Cache: A Foundation for High Performance Persistent System Construction
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
Stephen Blackburn, Robin Stanton
AADEBUG
1997
Springer
15 years 1 months ago
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
Adele E. Howe, Gabriel Somlo
SEUS
2010
IEEE
14 years 7 months ago
Ubiquitous Verification of Ubiquitous Systems
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
Reinhard Wilhelm, Matteo Maffei
ICIP
2005
IEEE
15 years 11 months ago
A complementary SVMs-based image annotation system
A novel automatic image annotation system is proposed, which integrates two sets of SVMs (Support Vector Machines), namely the MIL-based (Multiple Instance Learning) and global-fe...
Yutao Han, Xiaojun Qi