2922 search results - page 301 / 585 » On Relationships Between Query Models |
CODES
2002
IEEE
15 years 6 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
105
click to vote
CIE
2008
Springer
15 years 3 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
IADIS
2004
15 years 2 months ago
2004
Recent works about the activity-oriented approach et educational modeling languages ask questions about the pedagogical scenario concept. The aim of this paper is to define the fo...
104
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
: The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enough ...
124
click to vote
LOGCOM
1998
15 years 24 days ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...