Sciweavers

2705 search results - page 320 / 541
» Formal Ontology for Subject
Sort
View
112
Voted
DOCENG
2005
ACM
15 years 2 months ago
Compiling XPath for streaming access policy
We show how the full XPath language can be compiled into a minimal subset suited for stream-based evaluation. Specifically, we show how XPath normalization into a core language a...
Pierre Genevès, Kristoffer Høgsbro R...
122
Voted
EUROGP
2007
Springer
171views Optimization» more  EUROGP 2007»
15 years 2 months ago
Geometric Particle Swarm Optimisation
Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both continu...
Alberto Moraglio, Cecilia Di Chio, Riccardo Poli
SWAP
2008
15 years 2 months ago
Semantic-based Automated Evaluation of Company Core Competence
Abstract. Core Competence evaluation is crucial for strategical choices in knowledge intensive companies. Such a process is usually manually performed by the management on the basi...
Simona Colucci, Eugenio Di Sciascio, Francesco M. ...
100
Voted
DGO
2006
96views Education» more  DGO 2006»
15 years 2 months ago
A process-driven tool to support online dispute resolution
This demonstration shows a prototype tool that projects an impression of how execution of a formally defined process will facilitate dispute resolution. Tool flexibility supports ...
Lori A. Clarke, Alan Gaitenby, Daniel Gyllstrom, E...
82
Voted
FLAIRS
2003
15 years 2 months ago
A Graph Based Synthesis Algorithm for Solving CSPs
Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to a set of constraints. While solving a CSP is an ...
Wanlin Pang, Scott D. Goodwin