2804 search results - page 127 / 561 » Next Generation Internet |
123
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Sites like YouTube offer vast sources of data for studies of Human Computer Interaction (HCI). However, they also present a number of methodological challenges. This paper offers ...
105
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
126
click to vote
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
Many instances of NP-hard problems can be solved efficiently if the treewidth of their corresponding graph is small. Finding the optimal tree decompositions is an NP-hard problem a...
126
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
186
click to vote
JAVACARD
2000
15 years 7 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...