Sciweavers

511 search results - page 35 / 103
» The Economics of International Conferences
Sort
View
PERSUASIVE
2007
Springer
15 years 3 months ago
Improving Cross-Cultural Communication Through Collaborative Technologies
The paper discusses an original research project in the area of education and cross-cultural rhetoric on the use of persuasive digital technologies to enable intercultural competen...
Alyssa J. O'Brien, Christine Alfano, Eva Magnusson
ICSE
2001
IEEE-ACM
15 years 2 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
ICLP
2010
Springer
15 years 1 months ago
A Logical Paradigm for Systems Biology (Invited Talk)
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
François Fages
CORR
2008
Springer
97views Education» more  CORR 2008»
14 years 9 months ago
Towards a Spreadsheet Engineering
In this paper, we report some on-going focused research, but are further keen to set it in the context of a proposed bigger picture, as follows. There is a certain depressing patt...
V. R. Vemula, David Ball, Simon R. Thorne
SIGKDD
2008
149views more  SIGKDD 2008»
14 years 9 months ago
Knowledge discovery from sensor data (SensorKDD)
Wide-area sensor infrastructures, remote sensors, RFIDs, and wireless sensor networks yield massive volumes of disparate, dynamic, and geographically distributed data. As such sen...
Ranga Raju Vatsavai, Olufemi A. Omitaomu, Joao Gam...