8009 search results - page 337 / 1602 » cans 2005 |
146
click to vote
ISCAS
2005
IEEE
16 years 10 days ago
2005
IEEE
We propose an analog current-mode subthreshold CMOS circuit implementing a neuromorphic oscillator. Our circuit is based on the half-center oscillator model proposed by Matsuoka, ...
160
click to vote
ISPAN
2005
IEEE
16 years 9 days ago
2005
IEEE
Addition of new nodes to a Sensor Network is a fundamental requirement for their continuity operation over time. We analyze the weakening of security due to node capture when addi...
140
Voted
ACMACE
2005
ACM
16 years 9 days ago
2005
ACM
Outdoor multi-player games are an increasingly popular application area for ubiquitous computing, supporting experimentation both with new technologies and new user experiences. T...
150
click to vote
ATVA
2005
Springer
16 years 8 days ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
170
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...