1788 search results - page 91 / 358 » Model Theory for Process Algebra |
88
Voted
AHS
2007
IEEE
15 years 2 months ago
2007
IEEE
This work describes an algebraic based design strategy targeting area optimization in reconfigurable computer technology (FPGA). Area optimization is a major issue as smaller comp...
DIS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. State of the art equation discovery systems start the discovery process from scratch, rather than from an initial hypothesis in the space of equations. On the other hand,...
97
Voted
DMSN
2008
ACM
15 years 2 months ago
2008
ACM
When dealing with sensors with different time resolutions, it is desirable to model a sensor reading as pertaining to a time interval rather than a unit of time. We introduce two ...
137
Voted
BDA
2004
15 years 2 months ago
2004
XQuery is the emerging standard for querying XML data sources. XLive is a light XML/XQuery mediator developed at University of Versailles whose engine processes an XML algebra der...
117
Voted
TCS
2002
15 years 10 days ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...