4753 search results - page 740 / 951 » Natural Modelling of Interactive Applications |
126
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
140
Voted
KDD
2007
ACM
16 years 3 months ago
2007
ACM
Dimension attributes in data warehouses are typically hierarchical (e.g., geographic locations in sales data, URLs in Web traffic logs). OLAP tools are used to summarize the measu...
117
Voted
PPSN
1994
Springer
15 years 6 months ago
1994
Springer
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
192
Voted
TON
2012
13 years 5 months ago
2012
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...
119
Voted
VIS
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents an experimental immersive interface for designing DNAcomponents for application in nanotechnology. While much research has been done on immersive visualization...