4480 search results - page 380 / 896 » Prototyping Completion with Constraints Using Computational ... |
176
click to vote
JCP
2008
15 years 6 months ago
2008
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...
215
click to vote
SOCINFO
2010
15 years 1 months ago
2010
A huge amount of administrative effort is required for large wiki systems to produce and maintain high quality pages with existing naive access control policies. This paper introdu...
186
click to vote
JCP
2006
15 years 6 months ago
2006
Abstract-- In this paper, we propose a new map-based content sharing system 'MapWiki' for ubiquitous content distribution. In MapWiki, users can publish location-dependen...
238
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
170
click to vote
WWCA
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Recently, component-based application developments to improve the software productivity and reusability have attracted our attention. The components are parts for buildin...