Sciweavers

1845 search results - page 249 / 369
» Automatic Initiation of an Ontology
Sort
View
CPAIOR
2010
Springer
15 years 11 months ago
Upper Bounds on the Number of Solutions of Binary Integer Programs
We present a new method to compute upper bounds of the number of solutions of binary integer programming (BIP) problems. Given a BIP, we create a dynamic programming (DP) table for...
Siddhartha Jain, Serdar Kadioglu, Meinolf Sellmann
DALT
2009
Springer
15 years 11 months ago
Tableaux for Acceptance Logic
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
Mathijs de Boer, Andreas Herzig, Tiago De Lima, Em...
GECCO
2009
Springer
15 years 11 months ago
Using simulated annealing for producing software architectures
Automatic design of software architecture by use of genetic algorithms has already been shown to be feasible. A natural problem is to augment – if not replace – genetic algori...
Outi Räihä, Erkki Mäkinen, Timo Por...
SEMWEB
2009
Springer
15 years 11 months ago
Extracting Enterprise Vocabularies Using Linked Open Data
A common vocabulary is vital to smooth business operation, yet codifying and maintaining an enterprise vocabulary is an arduous, manual task. We describe a process to automatically...
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Ed...
SIGGRAPH
2010
ACM
15 years 11 months ago
High resolution passive facial performance capture
We introduce a purely passive facial capture approach that uses only an array of video cameras, but requires no template facial geometry, no special makeup or markers, and no acti...
Derek Bradley, Wolfgang Heidrich, Tiberiu Popa, Al...