1486 search results - page 182 / 298 » A Document as a Small World |
183
click to vote
PASTE
2004
ACM
16 years 19 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
211
click to vote
IWDW
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. In image authentication watermarking, hidden data is inserted into an image to detect any accidental or malicious image alteration. In the literature, quite a small numbe...
166
click to vote
ECBS
2003
IEEE
16 years 15 days ago
2003
IEEE
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
161
click to vote
ICRA
2002
IEEE
16 years 4 days ago
2002
IEEE
RHex is a hexapod with compliant legs and only six actuated degrees of freedom. Its ability to traverse highly fractured and unstable terrain, as well ascend and descend a particu...
181
click to vote
AISC
2010
Springer
16 years 15 hour ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...