2373 search results - page 425 / 475 » Complexities for generalized models of self-assembly |
147
click to vote
AMOST
2007
ACM
15 years 8 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
156
click to vote
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
In this paper we describe a new tool for interactive free-form fair surface design. By generalizing classical discrete Fourier analysis to two-dimensional discrete surface signals...
163
click to vote
DIALM
2005
ACM
15 years 6 months ago
2005
ACM
Reducing interference is one of the main challenges in wireless communication, and particularly in ad hoc networks. The amount of interference experienced by a node v corresponds ...
167
click to vote
DAC
2008
ACM
15 years 5 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...
139
click to vote
SDM
2010
SIAM
15 years 5 months ago
2010
SIAM
We describe a novel semi-supervised method called WordCodebook Learning (WCL), and apply it to the task of bionamed entity recognition (bioNER). Typical bioNER systems can be seen...