2226 search results - page 317 / 446 » Pdk: The System and Its Language |
272
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
163
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
195
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
XML is designed to facilitate data exchange between applications. However, XML and its schema languages do not express semantics but rather the document structure, such as the nes...
161
click to vote
CC
2007
Springer
16 years 23 days ago
2007
Springer
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
167
click to vote
ECML
2007
Springer
16 years 23 days ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...