2364 search results - page 281 / 473 » An Engine for Computing Well-Founded Models |
148
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The problem of pedestrian injury is a significant one throughout the world. In 2001, there were 4724 pedestrian fatalities in Europe and 4882 in the US. Significant advances have ...
152
Voted
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
145
click to vote
UIST
1993
ACM
15 years 9 months ago
1993
ACM
A skeletal stroke is a kind of general brush stroke for changing the shape of pictures as if by bending, shearing, twisting, while conservating the aspect ratio of selected featur...
164
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
112
click to vote
AVI
2008
15 years 7 months ago
2008
Pointing on screen edges is a frequent task in our everyday use of computers. Screen edges can help stop cursor movements, requiring less precise movements from the user. Thus, po...