Sciweavers

1186 search results - page 45 / 238
» Progressive Modeling
Sort
View
ENVSOFT
2010
72views more  ENVSOFT 2010»
13 years 9 months ago
Fuzzy modelling of the composting process
Successful composting implies a careful monitoring of the batch process, which includes two phases: active composting and curing. In the first phase, a succession of microbial act...
Elisabetta Giusti, Stefano Marsili-Libelli
ENTCS
2008
128views more  ENTCS 2008»
13 years 9 months ago
Towards Formalizing Categorical Models of Type Theory in Type Theory
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
Alexandre Buisse, Peter Dybjer
EMNLP
2010
13 years 6 months ago
Modeling Perspective Using Adaptor Grammars
Strong indications of perspective can often come from collocations of arbitrary length; for example, someone writing get the government out of my X is typically expressing a conse...
Eric Hardisty, Jordan L. Boyd-Graber, Philip Resni...
LCN
2007
IEEE
14 years 3 months ago
ESTREL: Transmission and Reception Energy Saving Model for Wireless Ad Hoc Networks
—Multimedia streaming over ad hoc networks forms a continuous progress domain due to users’ growing needs and wireless devices incessant evolution. Our objective, in this study...
Lamia Kaddar, Ahmed Mehaoua
SYNASC
2006
IEEE
105views Algorithms» more  SYNASC 2006»
14 years 2 months ago
A Meta-Model for Enterprise Applications
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
Cristina Marinescu, Ioan Jurca