Sciweavers

4047 search results - page 605 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
BPM
2007
Springer
201views Business» more  BPM 2007»
16 years 20 days ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
CP
2007
Springer
16 years 20 days ago
A Case for Simple SAT Solvers
As SAT becomes more popular due to its ability to handle large real-world problems, progress in efficiency appears to have slowed down over the past few years. On the other hand, w...
Jinbo Huang
WEBDB
2007
Springer
128views Database» more  WEBDB 2007»
16 years 17 days ago
Supporting Range Queries on Web Data Using k-Nearest Neighbor Search
A large volume of geospatial data is available on the web through various forms of applications. However, access to these data is limited by certain types of queries due to restric...
Wan D. Bae, Shayma Alkobaisi, Seon Ho Kim, Sada Na...
DEEC
2006
IEEE
16 years 16 days ago
Maintaining Web Navigation Flows for Wrappers
A substantial subset of the web data follows some kind of underlying structure. In order to let software programs gain full benefit from these “semistructured” web sources, wra...
Juan Raposo, Manuel Álvarez, José Lo...
IAT
2006
IEEE
16 years 16 days ago
Multi-Agent Coordination and Cooperation through Classical Planning
Multi-agent planning is a fundamental problem in multiagent systems that has acquired a variety of meanings in the relative literature. In this paper we focus on a setting where m...
Yannis Dimopoulos, Pavlos Moraitis