Sciweavers

8450 search results - page 1300 / 1690
» Interactively Modeling with Photogrammetry
Sort
View
FIS
2008
15 years 7 months ago
Unlock Your Data: The Case of MyTag
The business model of Web2.0 applications like FaceBook, Flickr, YouTube and their likes is based on an asymmetry: Users generate content, Web2.0 application providers own, (i), th...
Thomas Franz, Klaas Dellschaft, Steffen Staab
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 7 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
FPL
2008
Springer
94views Hardware» more  FPL 2008»
15 years 7 months ago
Acceleration of a production rigid molecule docking code
: Modeling the interactions of biological molecules, or docking is critical to both understanding basic life processes and to designing new drugs. Here we describe the FPGA-based a...
Bharat Sukhwani, Martin C. Herbordt
BCSHCI
2008
15 years 7 months ago
Research methods for HCI
The aim of the tutorial is to help researchers, particularly early career researchers, to develop the appropriate skills to make a useful research contribution to Human-Computer I...
Anna Louise Cox, Paul A. Cairns, Harold W. Thimble...
CSSW
2007
15 years 7 months ago
Collaborative Web-Publishing with a Semantic Wiki
Abstract: Semantic wikis have been introduced for collaborative authoring of ontologies as well as for annotating wiki content with semantic meta data. In this paper, we introduce ...
Rico Landefeld, Harald Sack
« Prev « First page 1300 / 1690 Last » Next »