5465 search results - page 993 / 1093 » Assigning Types to Processes |
103
click to vote
EOR
2006
15 years 3 months ago
2006
CT In this paper some experimental sequential models for the simulation of trip-chains are presented; the models have been calibrated on the base of a survey made in a medium-sized...
161
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Much recent work in bioinformatics has focused on the inference of various types of biological networks, representing gene regulation, metabolic processes, protein-pro...
123
click to vote
IJFCS
2006
15 years 3 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
121
click to vote
JODL
2008
15 years 3 months ago
2008
DelosDLMS is a prototype of a next-generation Digital Library (DL) management system. It is the result of integrating various specialized DL services provided by partners of the D...
123
click to vote
CVIU
2007
15 years 3 months ago
2007
Facial expression recognition is an active research area that finds a potential application in human emotion analysis. This work presents an illumination independent approach for...