Sciweavers

ICSEA
2006
IEEE
13 years 10 months ago
Application Driven Software Development
ey operate with computer abstractions not with AD ions they cannot fully bridge the semantic gap between IT and AD. Therefore, we can safely conclude that the research on computer ...
Teodor Rus, Donald Ephraim Curtis
IAT
2006
IEEE
13 years 10 months ago
Symbolic Negotiation in Linear Logic with Coalition Formation
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
Peep Küngas, Mihhail Matskin
WEBI
2007
Springer
13 years 10 months ago
Semantic Convergence of Wikipedia Articles
Social networking, distributed problem solving and human computation have gained high visibility. Wikipedia is a well established service that incorporates aspects of these three ...
Christopher Thomas, Amit P. Sheth
RSEISP
2007
Springer
13 years 10 months ago
The Art of Granular Computing
The current research in granular computing is dominated by set-theoretic models such as rough sets and fuzzy sets. By recasting the existing studies in a wider context, we propose ...
Yiyu Yao
CSCLP
2007
Springer
13 years 10 months ago
Preference-Based Problem Solving for Constraint Programming
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
Ulrich Junker
ATAL
2007
Springer
13 years 10 months ago
Collaboration among a satellite swarm
The paper deals with on-board planning for a satellite swarm via communication and negotiation. We aim at defining individual behaviours that result in a global behaviour that me...
Grégory Bonnet, Catherine Tessier
AB
2007
Springer
13 years 10 months ago
Manifestation and Exploitation of Invariants in Bioinformatics
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem s...
Limsoon Wong
INDIASE
2009
ACM
13 years 11 months ago
An effective learning environment for teaching problem solving in software architecture
A software architect engages in solving Software Engineering (SE) problems throughout his career. Thus inculcating problem solving skills should be one of the learning objectives ...
Kirti Garg, Vasudeva Varma
CANDC
2009
ACM
13 years 11 months ago
A quantitative analysis of the collective creativity in playing 20-questions games
Creativity is an important ingredient in problem solving, and problem solving is an important activity for both individuals and societies. This paper discusses our novel approach ...
Wen Dong, Taemie Kim, Alex Pentland
AMT
2009
Springer
116views Multimedia» more  AMT 2009»
13 years 11 months ago
Unifying Web-Scale Search and Reasoning from the Viewpoint of Granularity
Considering the time constraints and Web scale data, it is impossible to achieve absolutely complete reasoning results. Plus, the same results may not meet the diversity of user ne...
Yi Zeng, Yan Wang, Zhisheng Huang, Ning Zhong