14403 search results - page 2616 / 2881 » Dynamical Systems Trees |
186
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
186
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
—Today’s large campus and enterprise networks are characterized by their complexity, i.e. containing thousands of hosts, and diversity, i.e. with various applications and usage...
186
click to vote
CNSR
2009
IEEE
15 years 10 months ago
2009
IEEE
Broadcasting is a vital communication mechanism in Mobile Ad Hoc Networks, as it is the key element for exchanging control packets to support some services such as management and ...
178
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
167
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...