Sciweavers

2232 search results - page 253 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
IPMI
2007
Springer
16 years 7 months ago
Liver Segmentation Using Sparse 3D Prior Models with Optimal Data Support
Abstract. Volume segmentation is a relatively slow process and, in certain circumstances, the enormous amount of prior knowledge available is underused. Model-based liver segmentat...
Charles Florin, Nikos Paragios, Gareth Funka-Lea, ...
ICMCS
2006
IEEE
129views Multimedia» more  ICMCS 2006»
16 years 17 days ago
Modeling Interactions from Email Communication
Email plays an important role as a medium for the spread of information, ideas, and influence among its users. We present a framework to learn topic-based interactions between pa...
Dong Zhang, Daniel Gatica-Perez, Deb Roy, Samy Ben...
ICRA
2002
IEEE
84views Robotics» more  ICRA 2002»
15 years 11 months ago
Queueing Network Modeling and Lead Time Compression of Electronic Procurement
Abstract- Procurement, i.e., the process of obtaining materials or services and managing their inflow into organizations, is a critical process in supply chain management. Internet...
C. V. L. Raju, Y. Narahari
ICSE
2009
IEEE-ACM
16 years 1 months ago
Integrating sustainability in decision-making processes: A modelling strategy
One of the most difficult problems that humanity currently faces is the sustainable development of our society, i.e. how to meet the needs of the present without compromising the...
Jordi Cabot, Steve M. Easterbrook, Jennifer Horkof...
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 19 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss