645 search results - page 119 / 129 » Non-Monotonic Model Completion in Web Application Engineerin... |
133
Voted
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
147
Voted
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
186
Voted
GIS
2003
ACM
16 years 2 months ago
2003
ACM
We present a technique for creating a digital elevation model (DEM) from grid-based contour data. The method computes new, intermediate contours in between existing isolines. Thes...
107
Voted
IJCAI
2007
15 years 3 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
131
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Social networks are popular platforms for interaction, communication and collaboration between friends. Researchers have recently proposed an emerging class of applications that l...