Sciweavers

4099 search results - page 730 / 820
» A Framework for Interactive Proof
Sort
View
FECS
2007
184views Education» more  FECS 2007»
15 years 5 months ago
Collaboratory: An Open Source Teaching and Learning Facility for Computer Science and Engineering Education
In this paper we present an innovative prototype Open Source Teaching/Learning Collaboratory created at UC Merced that will provide the foundation for offering the vast majority of...
Jeff Wright, Stefano Carpin, Alberto Cerpa, German...
IC
2007
15 years 5 months ago
Gordon Surface Modeling in a Network Environment
—With the advent of the Internet, we have entered the age of ubiquitous systems that will need to be able to communicate, establish criteria for measurement and then perform thes...
Jan Smid, Petr Volf
IIWAS
2008
15 years 5 months ago
Model-driven engineering of composite web services using UML-S
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...
Christophe Dumez, Jaafar Gaber, Maxime Wack
ICWS
2007
IEEE
15 years 5 months ago
Search Algorithms for Discovery of Web Services
Web services are designed to standardize interactions between heterogeneous applications using Internet technologies. Within the framework of Internet search technologies, Web ser...
Janette Hicks, Madhusudhan Govindaraju, Weiyi Meng
NIPS
2008
15 years 5 months ago
Hebbian Learning of Bayes Optimal Decisions
Uncertainty is omnipresent when we perceive or interact with our environment, and the Bayesian framework provides computational methods for dealing with it. Mathematical models fo...
Bernhard Nessler, Michael Pfeiffer, Wolfgang Maass