Sciweavers

9974 search results - page 1899 / 1995
» Software Interconnection Models
Sort
View
ICOODB
2009
246views Database» more  ICOODB 2009»
14 years 11 months ago
Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
Miguel Garcia
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 8 months ago
Formal analysis of piecewise affine systems through formula-guided refinement
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Ce...
EWC
2011
84views more  EWC 2011»
14 years 8 months ago
A theoretical framework for an intelligent design catalogue
This paper outlines continuing work on the intelligent design catalogue. The intelligent design catalogue seeks to create a virtual design environment that is linked to a catalogu...
Paul Winkelman
WWW
2011
ACM
14 years 8 months ago
Truthy: mapping the spread of astroturf in microblog streams
Online social media are complementing and in some cases replacing person-to-person social interaction and redefining the diffusion of information. In particular, microblogs have ...
Jacob Ratkiewicz, Michael Conover, Mark Meiss, Bru...
EJC
2010
14 years 8 months ago
Inferencing in Database Semantics
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
Roland Hausser
« Prev « First page 1899 / 1995 Last » Next »