Sciweavers

1373 search results - page 274 / 275
» A Framework for the Behavior Based Integration of Business P...
Sort
View
BMCBI
2006
129views more  BMCBI 2006»
13 years 5 months ago
EGenBio: A Data Management System for Evolutionary Genomics and Biodiversity
Background: Evolutionary genomics requires management and filtering of large numbers of diverse genomic sequences for accurate analysis and inference on evolutionary processes of ...
Laila A. Nahum, Matthew T. Reynolds, Zhengyuan O. ...
CGF
2006
263views more  CGF 2006»
13 years 5 months ago
A Predictive Light Transport Model for the Human Iris
Recently, light interactions with organic matter have become the object of detailed investigations by image synthesis researchers. Besides allowing these materials to be rendered ...
Michael W. Y. Lam, Gladimir V. G. Baranoski
RTAS
2011
IEEE
12 years 9 months ago
Virtual-CPU Scheduling in the Quest Operating System
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...
Matthew Danish, Ye Li, Richard West
AINA
2009
IEEE
14 years 18 days ago
SOA Initiatives for eLearning: A Moodle Case
— Mobile learning applications introduce a new degree of ubiquitousness in the learning process. There is a new generation of ICT-powered mobile learning experiences that exist i...
María José Casany Guerrero, Marc Ali...
JSAT
2006
91views more  JSAT 2006»
13 years 5 months ago
Extending Existential Quantification in Conjunctions of BDDs
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
Sean Weaver, John V. Franco, John S. Schlipf