2377 search results - page 347 / 476 » Hybrid Systems in TLA |
161
click to vote
CODES
2008
IEEE
16 years 26 days ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
200
click to vote
CMSB
2007
Springer
16 years 17 days ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
166
click to vote
RR
2007
Springer
16 years 15 days ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
140
click to vote
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
Discrete droplet digital microfluidics-based biochips face problems similar to that in other VLSI CAD systems, but with new constraints and interrelations. We focus on one such pr...
183
click to vote
ICDAR
2005
IEEE
15 years 12 months ago
2005
IEEE
On-line pen input benefits greatly from mode detection when the user is in a free writing situation, where he is allowed to write, to draw, and to generate gestures. Mode detecti...