1814 search results - page 196 / 363 » Extended First-Order Logic |
113
click to vote
JNCA
2007
15 years 3 months ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
128
click to vote
AAMAS
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
237
click to vote
JBI
2011
14 years 10 months ago
2011
The Gene Ontology is being normalized and extended to include computable logical definitions. These definitions are partitioned into mutually exclusive cross-product sets, many of...
147
click to vote
CCCG
2001
15 years 5 months ago
2001
Local coordinates based on the Voronoi diagram are used in natural neighbour interpolation to quantify the "neighbourliness" of data sites. In an earlier paper, we have ...
218
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...