8928 search results - page 599 / 1786 » Modeling Current Events |
206
click to vote
SAT
2005
Springer
16 years 28 days ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
226
click to vote
UML
2005
Springer
16 years 28 days ago
2005
Springer
Understanding and maintenance of complex information spaces is often supported through visual interfaces. These interfaces must be highly flexible in order to adapt to both the u...
180
click to vote
SAMOS
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
191
click to vote
WAW
2004
Springer
16 years 24 days ago
2004
Springer
We study a random graph Gn that combines certain aspects of geometric random graphs and preferential attachment graphs. The vertices of Gn are n sequentially generated points x1, ...
157
Voted
ICRA
2003
IEEE
16 years 22 days ago
2003
IEEE
Abstract – For conventional designs of robots, manipulator motions result in forces and moments on the base. These forces and moments may cause undesirable translation and rotati...