204 search results - page 31 / 41 » Abstract Simulators for the DSDE Formalism |
113
Voted
IJWIN
2006
15 years 24 days ago
2006
Abstract-- We consider a wireless sensor network consisting of a set of sensors deployed randomly. A point in the monitored area is covered if it is within the sensing range of a s...
102
Voted
CHARME
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
108
Voted
DT
2000
15 years 19 days ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
127
Voted
TIME
2006
IEEE
15 years 6 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
93
Voted
CONTEXT
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...