Sciweavers

6198 search results - page 445 / 1240
» Multi-Paradigm Process Management
Sort
View
CIKM
2010
Springer
15 years 1 months ago
Modeling betweenness for question answering
The gap between the user's information need and query is expanding due to the pervasiveness of Web search. Multimedia question answering is restricted by disjoint infrastruct...
Brandeis Marshall
ICONFERENCE
2011
15 years 1 months ago
eBirding: technology adoption and the transformation of leisure into science
The decreasing cost of technology and Internet access has resulted in increasingly large-scale scientific research projects that rely on technology-mediated public participation....
Andrea Wiggins
NFM
2011
264views Formal Methods» more  NFM 2011»
15 years 1 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
IANDO
2010
112views more  IANDO 2010»
15 years 1 months ago
Generative mechanisms for innovation in information infrastructures
This paper investigates how innovation of ICT based services takes place within existing infrastructures, including the whole network of technology, vendors and customers. Our res...
Bendik Bygstad
JCIT
2010
150views more  JCIT 2010»
15 years 1 months ago
Characteristic Description of Coupled Task Sets Based on Design Structure Matrix and Its Optimal Time and Efforts Solution by Ge
The complicated interactions among tasks lead to iterations in product design and development. To maintain the market share, enterprises should effectively manage their product de...
Ting-gui Chen, Chun-hua Ju