536 search results - page 82 / 108 » A computer verified, monadic, functional implementation of t... |
CCE
2007
15 years 1 months ago
2007
: The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...
104
click to vote
DAC
2002
ACM
16 years 21 days ago
2002
ACM
For present-day micro-electronic designs, it is becoming ever more important to accurately model substrate coupling effects. Basically, either a Finite Element Method (FEM) or a B...
171
Voted
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
We present a system that enables flexible and efficient phrase matching in XML documents. Since XML allows structured and unstructured information to be interleaved, phrase matchi...
VIS
2008
IEEE
16 years 1 months ago
2008
IEEE
The method of Moving Least Squares (MLS) is a popular framework for reconstructing continuous functions from scattered data due to its rich mathematical properties and well-underst...
146
click to vote
EATIS
2009
ACM
15 years 3 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...