4922 search results - page 308 / 985 » Internet time out |
182
click to vote
TIME
2007
IEEE
16 years 15 days ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
148
click to vote
ICFEM
2007
Springer
16 years 11 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
137
click to vote
AGILEDC
2006
IEEE
16 years 9 days ago
2006
IEEE
One of the core principles behind the Agile Manifesto is that of working at a sustainable pace over time. Having gone through the roller coaster of traditional software developmen...
173
click to vote
HAPTICS
2006
IEEE
16 years 8 days ago
2006
IEEE
Three-dimensional ultrasound (3D US) is a novel imaging modality that allows real time visualization of internal body structures such as the heart, even through visually opaque bl...
159
click to vote
ICRA
2006
IEEE
16 years 7 days ago
2006
IEEE
— This paper demonstrates a learning mechanism for complex tasks. Such tasks may be inherently expensive to learn in terms of training time and/or cost of obtaining each training...