3038 search results - page 187 / 608 » Industrial evolutionary computing |
140
click to vote
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
15 years 2 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
122
click to vote
IISWC
2008
IEEE
15 years 10 months ago
2008
IEEE
—A whiteboard that automatically identifies drawn strokes, interprets them in context, and augments drawn images with computational results, such as solutions to mathematical eq...
114
click to vote
WECWIS
2006
IEEE
15 years 9 months ago
2006
IEEE
Success in today’s marketing arena can often depend on companies embracing effective new technologies and integrating them into their business model. In the computing service su...
116
click to vote
INTERACT
2003
15 years 5 months ago
2003
: Originally founded in 1996, recently reorganized and refocused, the Center for Human-Computer Interaction at Virginia Tech is an organization that is paving the way toward unders...
127
Voted
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
Biogas plants are reliable sources of energy based on renewable materials including organic waste. There is a high demand from industry to run these plants efficiently, which lead...