Sciweavers

2212 search results - page 194 / 443
» Automated software wrapping
Sort
View
TPHOL
2000
IEEE
15 years 8 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
FLAIRS
2006
15 years 6 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili
DEXAW
2005
IEEE
172views Database» more  DEXAW 2005»
15 years 10 months ago
Business Process Management with Vague Data
Recent dynamics in the business world and the tough environment of globalization put enormous pressure on enterprises to be innovative. As a consequence, management concepts and I...
Oliver Thomas, Otmar Adam, Christian Seel
147
Voted
FOSSACS
2012
Springer
14 years 8 days ago
Synthesizing Probabilistic Composers
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
Sumit Nain, Moshe Y. Vardi
PAMI
2012
13 years 7 months ago
Learning Optimal Embedded Cascades
—The problem of automatic and optimal design of embedded object detector cascades is considered. Two main challenges are identified: optimization of the cascade configuration and...
Mohammad Javad Saberian, Nuno Vasconcelos