2583 search results - page 331 / 517 » On the Representation of Timed Polyhedra |
160
click to vote
IJCNN
2007
IEEE
16 years 24 days ago
2007
IEEE
We organized a challenge for IJCNN 2007 to assess the added value of prior domain knowledge in machine learning. Most commercial data mining programs accept data pre-formatted in ...
164
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
193
click to vote
IWPSE
2005
IEEE
16 years 2 days ago
2005
IEEE
Visualizing software evolution is essential for identifying design erosions that have occurred over the past releases. Making evolutionary aspects explicit via visual representati...
181
click to vote
ISSTA
2004
ACM
15 years 12 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...
186
click to vote
GCB
2003
Springer
15 years 11 months ago
2003
Springer
Clustering of EST data is a method for the non-redundant representation of an organisms transcriptome. During clustering of large amounts of EST data, usually some large clusters ...